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

700 (0,093s) •

Project

Algebraic methods in non-classical logics (MEB060912)

Every propositional logic is naturally connected with several derived algebraic of values and so-called ring-like structures. Besides of these, propositional logics (usually called ?derived algebras?). In the propo...

BA - Obecná matematika

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

Ordered structures for non-classical logics (7AMB17AT054)

of algebraic studies. The goal of the project is to employ these structures also in some investigations connected with so-called non-classical logics, in particular in many-valued logics, logics of quantum mechani...

BA - Obecná matematika

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

Function algebras and ordered structures related to logic and data fusion (8J19AT023)

Function algebras and ordered structures form an important tool in the prevailing majority of algebraic studies. The goal of the project is twofold: to explore logics, in particular in many-valued logics, logi...

Pure mathematics

  • 2019 - 2021
    • •
  • 146 tis. Kč
    • •
  • 146 tis. Kč
    • •
  • MŠMT
Project

Complexity of t-norm based logics - algebraic and proof-theoretical approach (KJB100300701)

Complexity issues belong among the most important parts of mathematical logic. Our proposal is focused on complexity of many-valued logics, especially those Logic (MTL). There are relatively many complexity results for t-no...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 741 tis. Kč
    • •
  • 741 tis. Kč
    • •
  • AV ČR
Project

Applications of algebraic methods in non-classical logics (MEB061105)

In the proposed project we expect the development of residuated structures, not necessarily lattices, in connection with effect algebras, capturing of time dimension in the quantum logics via tense operators (quantifiers) and applic...

BA - Obecná matematika

  • 2011 - 2012
    • •
  • 78 tis. Kč
    • •
  • 78 tis. Kč
    • •
  • MŠMT
Project

Metamathematics of substructural modal logics (GA22-01137S)

of substructural modal logics by creating general theories of algebra-valued frames and logicsClassical logic models reasoning about Boolean combinations of atomic propositions. Modal logics extend it by ...

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 is the logic for coalgebras, the general concept modeling transition systéme (such as automata). The aim of the proposed project is...

IN - Informatika

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

Algebraic Language Theory for Infinite Trees (GA17-01035S)

logic. So far there are well-developed algebraic theories for languages of finiteAlgebraic Language Theory provides an alternative approach for describing regular languages that uses algebraic objects instead of ...

IN - Informatika

  • 2017 - 2019
    • •
  • 2 731 tis. Kč
    • •
  • 1 985 tis. Kč
    • •
  • GA ČR
Project

Algebraic methods in Quantum Logic (EE2.3.20.0051)

The aim is to deepen the mutual coordination of activities, creation of new links for transferring information between educational and scientific research institutions, effective application of algebraic methods in logic, in particu...

BA - Obecná matematika

  • 2011 - 2014
    • •
  • 34 282 tis. Kč
    • •
  • 34 282 tis. Kč
    • •
  • MŠMT
Project

Algebraic Methods in Proof Theory (GAP202/11/1632)

It is a recent trend in proof theory in non-classical logic to employ more algebraic methods and to develop the so-called algebraic proof theory. A typical example w.r.t. Dedekind-MacNeille completion is proved in algeb...

IN - Informatika

  • 2011 - 2015
    • •
  • 5 771 tis. Kč
    • •
  • 5 771 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 700