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

465 (0,25s) •

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 a fragment of the canonical modern extensional logic, namely first-order predicate logic. Beside that, semantics for Ari...

Philosophy, History and Philosophy of science and technology

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

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

. The overall goal of the proposed project is to develop predicate graded logics in twoClassical mathematical logic, built on the conceptually simple core propositions to be either true or false. Propositional logics...

IN - Informatika

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

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
Project

A logico-philosophical analysis of the notion of identity (GJ17-18344Y)

Modern predicate logic teaches us that identity is a reflexive, symmetric and unproblematic''. That identity and its logic is much more complex than what is revealed by standard predicate logic has become ...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 2 874 tis. Kč
    • •
  • 2 874 tis. Kč
    • •
  • GA ČR
Project

Transformations of logic programs (GA201/96/0197)

The goal of the project is to study transformations of logic programs including programs with built-in predicates, with emphasis on automatic methods of transformations. We propose to explore influence in global information about pr...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 802 tis. Kč
    • •
  • 546 tis. Kč
    • •
  • GA ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030601)

and predicate logic, the latter with generalized quantifiers; the theories of uncertainty) and uncertainty as degrees of belief, logical systems are being developed and investigated that formalize both. The main formal mea...

BA - Obecná matematika

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

GRADLACT Graded Logics of Action (GA22-16111S)

Propositional Dynamic Logic, PDL, is a well-known tool used in the logical analysis of discourse about action. Being based on classical logic, it cannot provide graded dynamic logics. We will determine the basic pr...

Philosophy, History and Philosophy of science and technology

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

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

and predicate logics have exact notions of formulas, axioms, proofs, semantics (standardMathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy

IN - Informatika

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

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
Project

Quasi-Decision Procedures for First-Order Theories of Real Functions (GA21-09458S)

Decision procedures for predicate logical theories play an increasingly important role in computer science, especially in combination with Boolean satisfiability solvers, that is, in the form of SAT modulo theory (SMT) solvers. Whil...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2021 - 2024
    • •
  • 2 541 tis. Kč
    • •
  • 2 541 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 465