Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

4 192 (0,08s) •

Projekt

GRADLACT Graded Logics of Action (GA22-16111S)

Propositional Dynamic Logic, PDL, is a well-known tool used in the logical graded dynamic logics. We will determine the basic properties of the most natural kinds of graded dynamic lo...

Philosophy, History and Philosophy of science and technology

  • 2022 - 2024
    • •
  • 3 172 tis. Kč
    • •
  • 2 878 tis. Kč
    • •
  • GA ČR
Projekt

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,

BA - Obecná matematika

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

Arithmetic, proof theory and complexity theory (IAA1019602)

: complexity theory, bounded arithmetic and propositional logic, higher order arithmetic and propositional logic, higher order arithmetic and set theory. Problems of particular interestThis is a project of basic re...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 1 779 tis. Kč
    • •
  • 823 tis. Kč
    • •
  • AV ČR
Projekt

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

propositional and predicate logics. As a showcase, we plan to illustrate the powerFormal systems of (non-)classical logics are essential in many areas. Such a diverse landscape of logical systems has greatly benef...

IN - Informatika

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

Predicate graded logics and their applications to computer science (GA17-04630S)

propositions to be either true or false. Propositional logics of graded notionsClassical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 926 tis. Kč
    • •
  • 5 714 tis. Kč
    • •
  • GA ČR
Projekt

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

other logics of importance for computer science (epistemic, deontic, dynamic, etc.).Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy log...

IN - Informatika

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

Logic and unsatisfiability (GA23-04825S)

the complexity of the concepts used in the proof? This is a basic question in logic which, for proofs in weak theories or in propositional logic, is tied to fundamental difficult is equivalent to showing that there is no <...

Pure mathematics

  • 2023 - 2025
    • •
  • 11 138 tis. Kč
    • •
  • 10 889 tis. Kč
    • •
  • GA ČR
Projekt

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

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
Projekt

From Logical Objectivism to Reism Bolzano and the School of Brentano (GA15-18149S)

presentations. Logic for Bozano was concerned with propositions in themselves, which were alien to the thought of Brentano. This logical objectivism was adopted by Husserl Bolzano’s, whereas Brentano reacted to logical...

AA - Filosofie a náboženství

  • 2015 - 2019
    • •
  • 2 536 tis. Kč
    • •
  • 2 536 tis. Kč
    • •
  • GA ČR
Projekt

Mathematical foundation of inference and decision under uncertainty (IAA100300503)

. In mathematical fuzzy propositional and predicate logic, formal theory of syntax and semantics of new calculi based on the basic fuzzy logic BL will be developed; in the theory dedicated to mathematical foundations of fuz...

BA - Obecná matematika

  • 2005 - 2009
    • •
  • 2 812 tis. Kč
    • •
  • 2 812 tis. Kč
    • •
  • AV ČR
  • 1 - 10 z 4 192