Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

776 (0,073s)

Projekt

Cardinality of Fuzzy Sets and Fuzzy Quantifiers (IAA108270901)

The proposed project is devoted to two important and closely associated areas of fuzzy set theory and fuzzy logic, namely, cardinality of fuzzy sets and fuzzy quantifiers. Although, both theories are very extensively elaborated in the classi...

BA - Obecná matematika

  • 2009 - 2011
  • 1 636 tis. Kč
  • 1 636 tis. Kč
  • AV ČR
Projekt

*Intermediates for MRI contrast media (2A-1TP1/040)

*Research in the area of intermediates for MRI with the target to obtain data for technology of production for these intermediates, piloting and preparation of products for quality testing......

CC - Organická chemie

  • 2006 - 2009
  • 14 341 tis. Kč
  • 6 179 tis. Kč
  • MPO
Projekt

Logical Structure of Information Channels (GM21-23610M)

The concept of information is ubiquitous in current logic. However, the informational interpretation of various logical approaches is rather scattered in the logical literature and a unification is needed. The main goal o...

Philosophy, History and Philosophy of science and technology

  • 2021 - 2025
  • 12 922 tis. Kč
  • 12 922 tis. Kč
  • GA ČR
Projekt

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

of substructural logics, otherwise known as "resource sensitive logics", that is, logics "substructural logics" comes from the fact that when presented as sequent proof systems these logics restrict or la...

Statistics and probability

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

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy logic in broad sense which and predicate logics have exact notions of formulas, axioms, proo...

IN - Informatika

  • 2010 - 2016
  • 9 136 tis. Kč
  • 9 136 tis. Kč
  • GA ČR
Projekt

Non-classical Interpretation of the Aristotelian Logic and Theory of Predication (GA19-06839S)

It is widely assumed that Aristotle is the founder of logic as an independent classical logic. Hence Aristotelian logic is often treated as classical and as just a fragment of the canonical modern extensional logic...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2022
  • 2 017 tis. Kč
  • 2 017 tis. Kč
  • GA ČR
Projekt

Foundations of logic in the light of new results of philosophy and science (GA13-21076S)

The project concentrates on reconsidering the foundations of logic in the light of recent developments of both logic itself and the scientific disciplines dealing of the fundamental concepts of logic and the nature of l...

AA - Filosofie a náboženství

  • 2013 - 2016
  • 4 342 tis. Kč
  • 4 342 tis. Kč
  • GA ČR
Projekt

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as away to a logical analysis of techn...

BA - Obecná matematika

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

A reconstruction of the philosophical logic (GA401/97/0157)

The contemporary situation in the philosophical logic, where it seems as if there were no Logic but a plurality of ´logics´ is a challenge for those who. ´classical logic´. One possible and viable way of developing...

AA - Filosofie a náboženství

  • 1997 - 1999
  • 1 863 tis. Kč
  • 376 tis. Kč
  • GA ČR
Projekt

*Organic intermediates in the basis of derivates of benzimidazole, quinoxaline and indole. (FR-TI1/146)

*Research in the area of sofisticated intermediates, derivates of benzimidazole, quinoxaline and indole....

CC - Organická chemie

  • 2009 - 2013
  • 15 112 tis. Kč
  • 6 124 tis. Kč
  • MPO
  • 1 - 10 z 776