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

437 (0,163s) •

Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

Proof theory of modal coalgebraic logic (GPP202/11/P304)

As eqational logic is considered to be the logic of algebras, modal logic is the logic for coalgebras, the general concept modeling transition systéme (such as automata). The aim of the proposed project is to study...

IN - Informatika

  • 2011 - 2015
    • •
  • 768 tis. Kč
    • •
  • 768 tis. Kč
    • •
  • GA ČR
Project

On Knowing and Doubting The Tradition of British Epistemic Logic in Late-Medieval Period (GA23-05893S)

The project "On Knowing and Doubting: The British Tradition of Epistemic Logic-century British debates on epistemic logic. The project aims to contribute to the history of modal logic in the medieval era, to map the trends ...

Philosophy, History and Philosophy of science and technology

  • 2023 - 2025
    • •
  • 2 246 tis. Kč
    • •
  • 2 246 tis. Kč
    • •
  • GA ČR
Project

Metamathematics of substructural modal logics (GA22-01137S)

Classical logic models reasoning about Boolean combinations of atomic propositions. Modal logics extend it by adding propositional connectives (called’, `is allowed', or `is known'. Conversely, substructural logics relax as...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 437