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

2 680 (0,117s) •

Project

Metamathematics of substructural modal logics (GA22-01137S)

of substructural modal logics by creating general theories of algebra-valued frames and logics propositions. Modal logics extend it by adding propositional connectives (called `modalities') to allow reasoning abou...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 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 (such as automata). The aim of the proposed project is to study modal logics developed to reason aboutcoalgebras. We concentrate on proof theoretical issues o...

IN - Informatika

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

Metaphysics as the science of the modalities of being (IAA900090602)

such. Further, since modal categories are at least implicitly present in theories of naturalThe research aims at systematic study of modalities within a rigorous that modal categories characterize reality in vario...

AA - Filosofie a náboženství

  • 2006 - 2008
    • •
  • 563 tis. Kč
    • •
  • 563 tis. Kč
    • •
  • AV ČR
Project

Complexity of mathematical proofs and structures (GA19-05497S)

We study weak logical systems, guided by the question: what is the weakest natural theory in which we can prove a mathematical statement? This question is often of settings, including bounded arithmetic, model theory, algebraic comp...

Pure mathematics

  • 2019 - 2022
    • •
  • 9 171 tis. Kč
    • •
  • 8 514 tis. Kč
    • •
  • GA ČR
Project

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

epistemology there is a tradition that a theory of knowledge is reconstructed as a. kind of modal logic. Epistemic logic is then understood as a formal modal logic with special epistemic axioms. Underlying modal l...

AA - Filosofie a náboženství

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

Mathematical foundations of inference under vagueness and uncertainty (IAA1030601)

that formalize both. The main formal means are many-valued logics and (generalized) modal and predicate logic, the latter with generalized quantifiers; the theories of uncertainty involved include probability, possibility theor...

BA - Obecná matematika

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

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

to the development of their systematic mathematical and logical theory and has opened new (in the broad sense). This will be an advanced study of infinite-valued, modal), an analysis of fundamental mathematical theories in...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
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 improvement of reliability of applications. The...

BA - Obecná matematika

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

Infinite state concurrent systems - models and verification (GA201/00/0400)

This project proposal is motivated by one of the concurrent research trends in concurrency theory, e.i. by modelling, analysis and verification of concurrent infinite their properties expressed in suitable modal logics etc. Recently...

JC - Počítačový hardware a software

  • 2000 - 2002
    • •
  • 2 793 tis. Kč
    • •
  • 1 669 tis. Kč
    • •
  • GA ČR
Project

Advanced Modeling and Technologies for Antennas and Sensors (LD12055)

of radiating systems treated with the characteristic mode theory and novel theories research including theory of electromagnetic field, high-frequency techniques......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2012 - 2015
    • •
  • 1 665 tis. Kč
    • •
  • 1 625 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 2 680