Filters
Show less
Show less
Show less
Show less
Show more
More filters
Projects
Logic and unsatisfiability (GA23-04825S)
of proof systems. These often have a combinatorial or algebraic nature, or can arise is equivalent to showing that there is no propositional proof system which has shortHow does the size of the smallest <...
Pure mathematics
- 2023 - 2025 •
- 11 138 tis. Kč •
- 10 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
Complexity of mathematical proofs and structures (GA19-05497S)
We study weak logical systems, guided by the question: what is the weakest natural theory in which we can prove a mathematical statement? This question is often fundamentally complexity theoretic in nature, as proofs in such weak
Pure mathematics
- 2019 - 2022 •
- 9 171 tis. Kč •
- 8 514 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Grantová agentura České republiky
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 ...
IN - Informatika
- 2011 - 2015 •
- 5 771 tis. Kč •
- 5 771 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Proof theory of modal coalgebraic logic (GPP202/11/P304)
As eqational logic is considered to be the logic of algebras, modal logic aboutcoalgebras. We concentrate on proof theoretical issues of modal logics arising in two;spaces"(where the coalgebras live) and category of "a...
IN - Informatika
- 2011 - 2015 •
- 768 tis. Kč •
- 768 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 13. 4. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Homotopy invariant structures in algebra (IAA1019203)
for algebraic structures was made much later, in 1999 by the applicant in his paper "Homotopy algebras are homotopy algebras". Some of the methods of the paper have already been succefully applied, for example, in Kontsevi...
BA - Obecná matematika
- 2002 - 2003 •
- 403 tis. Kč •
- 137 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2002 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (34%)
Poskytovatel: Akademie věd České republiky
Interpolation, Amalgamation, and Computation (GM25-18306M)
Interpolation is a fundamental metalogical property of broad importance to several fields, including software/hardware verification, databases, mathematics, and philosophy. This project aims to bridge the gap between the two dominant paradigms in the...
Pure mathematics
- 2025 - 2029 •
- 22 483 tis. Kč •
- 22 483 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2029
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Complexity of t-norm based logics - algebraic and proof-theoretical approach (KJB100300701)
a certain combination of algebraic methods and proof-theoretical methods. on algebraic methods. However, these methods are not directly applicable to the case......
BA - Obecná matematika
- 2007 - 2009 •
- 741 tis. Kč •
- 741 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Representations of algebraic distributive lattices (GP201/03/P149)
The main aim of the project is to contribute to the proof or disproof of the hypothesis of R. P. Dilworth that every algebraic distributive lattice is isomorphic to the problem should be found. Along with the problem, representation...
BA - Obecná matematika
- 2003 - 2005 •
- 338 tis. Kč •
- 338 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Eduard Čech Center for Algebra and Geometry (LC505)
The Eduard Cech Center for Algebra and Geometry forms an institutional on interaction between algebraic and geometric approaches in Differential Geometry, Geometric Analysis, Category Theory, Algebraic Topology, Algebra...
BA - Obecná matematika
- 2005 - 2011 •
- 40 347 tis. Kč •
- 29 607 tis. Kč •
- MŠMT
Řešení projektu: 1. 2. 2005 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (73%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Representations of algebraic semantics for substructural logics (GF24-14386L)
"substructural logics" comes from the fact that when presented as sequent proof systems reasoning or in artificial intelligence systems. This makes substructural logics useful......
Statistics and probability
- 2024 - 2026 •
- 3 696 tis. Kč •
- 3 696 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 out of 13 717