All
All

What are you looking for?

All
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

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

5 581 projects (0,102s) •

Project

Non-classical logical models of information dynamics (GJ18-19162Y)

the practical viewpoint and in the context of epistemology. The project studies logical models of information dynamics based on non-classical logics. These models are mode adequate than the standard model based on...

Philosophy, History and Philosophy of science and technology

  • 2018 - 2022
    • •
  • 4 005 tis. Kč
    • •
  • 4 005 tis. Kč
    • •
  • GA ČR
Project

An Order-Based Approach to Non-Classical Propositional and Predicate Logics (GA13-14654S)

Formal systems of (non-)classical logics are essential in many areas of the resulting theory on two important families of non-classical logics: substructural. Such a diverse landscape of logic...

IN - Informatika

  • 2013 - 2018
    • •
  • 4 570 tis. Kč
    • •
  • 4 570 tis. Kč
    • •
  • GA ČR
Project

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

classical logic. Hence Aristotelian logic is often treated as classical and as just of classical logic, i.e. the principle of extensionality. This fact appears much more that the original Aristot...

Philosophy, History and Philosophy of science and technology

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

Dynamic Formal Systems (IAA900090703)

The aim of the proposed project is to develop a bunch of methods exploiting dynamic approaches to non-classical logics and formal systems in general tools regarding: a) dynamic non-classical logics

BA - Obecná matematika

  • 2007 - 2010
    • •
  • 4 479 tis. Kč
    • •
  • 4 479 tis. Kč
    • •
  • AV ČR
Project

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

schisms, especially those between classical and non-classical logics, between logicThe project concentrates on reconsidering the foundations of logic in the light of recent developments of both <...

AA - Filosofie a náboženství

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

Logical foundations of semantics and knowledge representation (GD401/03/H047)

as non-classical (including many-valued logics, modal logics, epistemic, deonticIn this project we will study logical calculi suitable for new aspects of information and knowledge together with their ...

AA - Filosofie a náboženství

  • 2003 - 2007
    • •
  • 8 523 tis. Kč
    • •
  • 8 523 tis. Kč
    • •
  • GA ČR
Project

Algebraic methods in non-classical logics (MEB060912)

Every propositional logic is naturally connected with several derived algebraic structures. In particular, these are the implication reducts, the ordered structures of values and so-called ring-like structures. Besides of these, propositiona...

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 76 tis. Kč
    • •
  • 76 tis. Kč
    • •
  • MŠMT
Project

School of doctoral studies in archaeology (GD404/03/H046)

as non-classical (including many-valued logics, modal logics, epistemic, deonticIn this project we will study logical calculi suitable for new aspects of information and knowledge together with their ...

AC - Archeologie, antropologie, etnologie

  • 2003 - 2007
    • •
  • 8 993 tis. Kč
    • •
  • 8 993 tis. Kč
    • •
  • GA ČR
Project

Ordered structures for non-classical logics (7AMB17AT054)

investigations connected with so-called non-classical logics, in particular in many-valued logics, logics of quantum mechanics and certain logics used in artificial intelligence (temporal log...

BA - Obecná matematika

  • 2017 - 2018
    • •
  • 153 tis. Kč
    • •
  • 153 tis. Kč
    • •
  • MŠMT
Project

Fuzzy set theory as a foundation of fuzzy mathematics (ME09110)

logics, including linear logic and monoidal logic....

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 422 tis. Kč
    • •
  • 422 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 5 581