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

814 (0,161s) •

Project

GRADLACT Graded Logics of Action (GA22-16111S)

will develop graded dynamic logics suitable for formalizing reasoning about collectivePropositional Dynamic Logic, PDL, is a well-known tool used in the logical analysis of discourse about action. Being based on c...

Philosophy, History and Philosophy of science and technology

  • 2022 - 2024
    • •
  • 3 172 tis. Kč
    • •
  • 2 878 tis. Kč
    • •
  • GA ČR
Project

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

of the fundamental concepts of logic and the nature of logical formalization; especially on our original explanation of logical theories as resulting from converging to a reflectiveThe project concentrates on reco...

AA - Filosofie a náboženství

  • 2013 - 2016
    • •
  • 4 342 tis. Kč
    • •
  • 4 342 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

Special soft computing techniques for decision making in management (1P05ME739)

study of special methods of formal logics for representation of hiearchical systems fuzzy IF-THEN rules...

IN - Informatika

  • 2005 - 2005
    • •
  • 67 tis. Kč
    • •
  • 67 tis. Kč
    • •
  • MŠMT
Project

Fuzzy Partial Logic (GA16-19170S)

Formal fuzzy logic constitutes a theoretical foundation for reasoning logic. Known formal systems of fuzzy logic, however, do not admit combining degrees of truth with undefinedness. The aim of the project...

IN - Informatika

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

Logical analysis - theories and applications. A comprehensive research project complemented with organizational and publication programmes (GA401/07/0904)

of formal logic to analysis of natural language including formal representationThe project's central theme is logical analysis. The research advanced within the project will concentrate on foundational issues in t...

AA - Filosofie a náboženství

  • 2007 - 2009
    • •
  • 2 580 tis. Kč
    • •
  • 2 580 tis. Kč
    • •
  • GA ČR
Project

Epistemic logics and reasoning about knowledge (GA401/04/1199)

of modal logic. Epistemic logic is then understood as a formal modal logic with special of knowledge items together with their formal logical structure. On the baseIn the sixties of the last cent...

AA - Filosofie a náboženství

  • 2004 - 2006
    • •
  • 285 tis. Kč
    • •
  • 285 tis. Kč
    • •
  • GA ČR
Project

Logic-based fuzzy mathematics (GPP103/10/P234)

Logic-based fuzzy mathematics is a new approach to fuzzy set theory, enabled by recent advances in mathematical fuzzy logic. It features the rigorous methodology of formal logic, generalization of known results in ...

BA - Obecná matematika

  • 2010 - 2014
    • •
  • 1 266 tis. Kč
    • •
  • 1 266 tis. Kč
    • •
  • GA ČR
Project

Logical Foundation of Semantics (GA401/99/0619)

to distribute to the development of formal semantics, logical analysis of natural language and the relevant parts of logic. The fields in which we hope to reach and publish new semantics and of the role which model theory ...

AA - Filosofie a náboženství

  • 1999 - 2001
    • •
  • 1 228 tis. Kč
    • •
  • 910 tis. Kč
    • •
  • GA ČR
Project

Logical models of reasoning and argumentation in natural language (GA17-15645S)

' criteria of evaluation of the relevance of systems of formal logic for realThe main goal of the project is the reconsideration of the relevance of logical of different kinds. The systems are usually interesting from the p...

AA - Filosofie a náboženství

  • 2017 - 2019
    • •
  • 4 381 tis. Kč
    • •
  • 4 381 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 814