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

-
19002100

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show less

      • Show less

      • Show less

      • Show less

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

484 projects (0,119s) •

Project

Representations of algebraic semantics for substructural logics (GF24-14386L)

of substructural logics, otherwise known as "resource sensitive logics", that is, logics "substructural logics" comes from the fact that when presented as sequent proof systems these logics

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Project

Metamathematics of substructural modal logics (GA22-01137S)

’, `is allowed', or `is known'. Conversely, substructural logics relax assumptions on logical of substructural modal logics by creating general theories of algebra-valued frames and logicsClassica...

Pure mathematics

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

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

of the methods and results in formal fuzzy set theory to a broader class of substructural logics, including linear logic and monoidal logic.......

BA - Obecná matematika

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

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

of the resulting theory on two important families of non-classical logics: substructuralFormal systems of (non-)classical logics are essential in many areas. Such a diverse landscape of logical systems has greatly...

IN - Informatika

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

Logical Structure of Information Channels (GM21-23610M)

The concept of information is ubiquitous in current logic. However, the informational interpretation of various logical approaches is rather scattered in the logical literature and a unification is needed. The main goal o...

Philosophy, History and Philosophy of science and technology

  • 2021 - 2025
    • •
  • 12 922 tis. Kč
    • •
  • 12 922 tis. Kč
    • •
  • GA ČR
Project

Interpolation, Amalgamation, and Computation (GM25-18306M)

and powerful toolkit for investigating interpolation in different logical contexts. Our...

Pure mathematics

  • 2025 - 2029
    • •
  • 22 483 tis. Kč
    • •
  • 22 483 tis. Kč
    • •
  • GA ČR
Project

Ordered structures for non-classical logics (7AMB17AT054)

general setting for so-called substructural logics. We intend to study also several investigations connected with so-called non-classical logics, in particular in many-valued logics, logics of quantum mec...

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)

substructural logics. Further investigation covers in particular the analysis of existing logics and the development of new proof theories for logics with a modified syntax logics, in particular in many-...

Pure mathematics

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

Adaptation of the French method of evaluation of track substructure for high-speed lines into the Czech Republic conditions (CK02000293)

of track substructure on high-speed railway lines to the conditions of the Czech Rep for earthworks as well as in the design, construction and evaluation of the substructure will be to evaluate variant approaches to of the subs...

Civil engineering

  • 2021 - 2023
    • •
  • 10 220 tis. Kč
    • •
  • 7 230 tis. Kč
    • •
  • TA ČR
Project

A mechanism of ultra-fine substructure formation induced by severe plastic deformation (GAP107/12/0121)

We propose mechanisms of ultra-fine substructure formation as observed in high pressure torsion experiments. The deformation will be interpreted as a plastic flow of the substructure formation is a global rotation of the slip system...

JG - Hutnictví, kovové materiály

  • 2012 - 2015
    • •
  • 4 217 tis. Kč
    • •
  • 4 217 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 484