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

516 projects (0,101s) •

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...

BA - Obecná matematika

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

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

The project will study fuzzy set theories as foundational theories for fuzzy mathematics, in cooperation with Japanese colleagues. Team members will systematically of the methods and results in formal fuzzy set theory to a ...

BA - Obecná matematika

  • 2009 - 2010
    • •
  • 422 tis. Kč
    • •
  • 422 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 fuzzy partial logic capable of...

IN - Informatika

  • 2016 - 2020
    • •
  • 5 076 tis. Kč
    • •
  • 3 435 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 model theory of fuzzy logic, its r...

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 tis. Kč
    • •
  • GA ČR
Project

Model theory in categories of fuzzy sets (IAA1187901)

fuzzy logic there do not exist research results dealing with model theory properties of fuzzy sets categories. The proposed project will be then oriented on the research, under which also a fuzzy logic th...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 1 653 tis. Kč
    • •
  • 685 tis. Kč
    • •
  • AV ČR
Project

Stratigraphic Simulation Using Fuzzy Logic to Model Sediment Dispersal (ME 468)

The goal is a cooperation of the Czech and American investigators in the area of modeling of selected geological processes using methods of fuzzy logic. The project is realized as an International Supplement to the running project o...

DB - Geologie a mineralogie

  • 2001 - 2002
    • •
  • 823 tis. Kč
    • •
  • 498 tis. Kč
    • •
  • MŠMT
Project

Mathematical foundation of inference and decision under uncertainty (IAA100300503)

dedicated to mathematical foundations of fuzzy logics and of logics of belief. In mathematical fuzzy propositional and predicate logic, formal theory of syntax and semantics of new calculi based on the ba...

BA - Obecná matematika

  • 2005 - 2009
    • •
  • 2 812 tis. Kč
    • •
  • 2 812 tis. Kč
    • •
  • AV ČR
Project

Approximate reasoning and generalized quantifiers (GA201/04/1033)

on solution of the following problems: 1. Extension of fuzzy logic to fuzzy type theory semantics. 2. Extension of fuzzy logic by generalized quantifiers, study of special classes ofthem, which are specif...

BA - Obecná matematika

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

Game-theoretical approach to many-valued logics (7AMB13AT014)

Prague and Vienna on the application of game theory in fuzzy logic. The project game semantics for fuzzy logic (dialogical/evaluation games) and their relationship for independent-friendly logic) b) conse...

IN - Informatika

  • 2013 - 2014
    • •
  • 200 tis. Kč
    • •
  • 200 tis. Kč
    • •
  • MŠMT
Project

Formal theories of mathematical structures with vagueness (KJB100300502)

logical apparatus for the formalization of such structures. First steps in the development thereof were enabled by recent results in mathematical fuzzy logic. It is based on a simple type theory over a suitable fuzzy

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 1 125 tis. Kč
    • •
  • 1 125 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 516