All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

4 757 (0,109s) •

Project

Game-theoretical approach to many-valued logics (7AMB13AT014)

to other game-theoretical many-valued semantics (probabilistic semantics logics (e.g., the problem of safe models) c) application of cooperative games in many-valued logics - the formation of fuz...

IN - Informatika

  • 2013 - 2014
    • •
  • 200 tis. Kč
    • •
  • 200 tis. Kč
    • •
  • MŠMT
Project

Many-valued logics for soft computing (GA201/02/1540)

The project represents basic research of mathematical properties of many-valued logics (fuzzy logics, modal logics, etc.). It should contribute to the theoretical foundation of logic and to the im...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 1 817 tis. Kč
    • •
  • 990 tis. Kč
    • •
  • GA ČR
Project

Complexity of t-norm based logics - algebraic and proof-theoretical approach (KJB100300701)

Complexity issues belong among the most important parts of mathematical logic. Our proposal is focused on complexity of many-valued logics, especially those based on t-norms. It turns out that it is quite natural t...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 741 tis. Kč
    • •
  • 741 tis. Kč
    • •
  • AV ČR
Project

Algebraic, many-valued and quantum structures for uncertainty modelling (GA15-15286S)

The project is focused on the research in pure mathematics (ordered structures, algebra, measure theory, model theory) with interface to quantum mechanics, logic, and philosophy. The main goal is modelling of uncertainty using modern methods...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 5 849 tis. Kč
    • •
  • 5 849 tis. Kč
    • •
  • GA ČR
Project

Representations of algebraic semantics for substructural logics (GF24-14386L)

(intuitionistic logic), approximate reasoning (many-valued logics), content-respecting-intuitionistic logic, many-valued logics). of substructural logics, otherwise kno...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Project

Modal and Many-valued Logics (GA401/01/0218)

We will study theoretical foundations of modern logical systems which are essentially based on more than two truth-values and we will confront them with possibility and necessity modalities and also with other modalities, study of w...

AA - Filosofie a náboženství

  • 2001 - 2003
    • •
  • 585 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030601)

) and uncertainty as degrees of belief, logical systems are being developed and investigated that formalize both. The main formal means are many-valued logics and (generalized) modal logics, understood as ...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 2 909 tis. Kč
    • •
  • 859 tis. Kč
    • •
  • AV ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

The project builds on the results of our preceding intensive study of many-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory ...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
Project

Fuzzy Partial Logic (GA16-19170S)

Formal fuzzy logic constitutes a theoretical foundation for reasoning decision and control to data processing to knowledge representation. Many semantical logic. Known formal systems of fuzzy logic, however, do not...

IN - Informatika

  • 2016 - 2020
    • •
  • 5 076 tis. Kč
    • •
  • 3 435 tis. Kč
    • •
  • GA ČR
Project

Geometry of associative structures (GPP201/12/P055)

based logic which is a prototypical many-valued logic studied intensively nowadays by many researches. As the outcome of the project, it is expected not only a deeper......

BA - Obecná matematika

  • 2012 - 2014
    • •
  • 1 578 tis. Kč
    • •
  • 1 578 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 4 757