Wednesday 4. 2. 2026 - Friday 6. 2. 2026 9:30
conference | Academic Conference Centre, Husova 4a, Prague 1
Czech Gathering of Logicians & Beauty of Logic
Organized by the Department of Logic , Institute of Philosophy and the Institute of Computer Science of the Czech Academy of Sciences
Beauty of Logic
Special session in honour of Petr Hájek
Professor Petr Hájek passed away in 2016. This year's Czech Gathering of Logicians is combined with Beauty of Logic, a conference held on special occasions and focussing on his research topics. The combined conference therefore welcomes especially contributions developing such topics (set theory, arithmetic, mathematical fuzzy logic, logic in data analysis).
Detailed information
Accepted talks
Guillermo Badia, Gaia Petreni, Carles Noguera, Val Tannen - Containment of Conjunctive Queries with Negated Atoms for Databases over Semirings
Marta Bílková, Peter Jipsen - On the Structure of Residuated Po-semigroups as Models of Lambek Calculus and MLL
Fabio De Martin Polo - Termination, Countermodels, and Complexity in Bilateral Labeled Sequent Calculi
Marie Duží - Syntactic vs Semantic Consistency of a Hyperintensional System with Procedural Semantics
Wesley Fussner, Simon Santschi - Deductive Interpolation in Hájek’s Basic Fuzzy Logic
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti - Paraconsistent Constructive Modal Logic
Rafał Gruszczyński - Hybrid Logic of Strict Betweenness
Štěpán Holub, Zuzana Haniková - Formalizations of Set Theory Fragments in Isabelle/HOL
Aleksi Honkasalo - Rule-Dependence and -Independence in Meaning Constituting Rules
Radek Honzík - Compactness for Small Cardinals in Mathematics: Principles, Consequences, and Limitations
Krysztof Krawczyk, Wesley Fussner -- Interpolation Properties Among Arbitrary Extensions of RM
Vilém Novák, Petra Murinová - Intermediate Quantifiers and their Syllogisms in Fuzzy Natural Logic
Wolfgang Poiger - Coalgebraic Dynamic Logic: Safety and Reducibility
Vít Punčochář - Truthmaker Semantics and Curry-Howard Correspondence
Jiří Raclavský - Inexpressible Propositions and Limits of Knowledge, Belief and Truth
Giuliano Rosella - Modal Weak Kleene Logics Through Variables Inclusion
Igor Sedlár, Ondrej Majer, Krishna Manoorkar, Wolfgang Poiger - Knowledge on a Budget
Karel Šebela - When ‘Every S is P’ Became Hypothetical: Rediscovering Herbart
This event is organised within the project OP JAK: Knowledge in the Age of Distrust, CZ.02.01.01/00/23_025/0008711.
