ll CGL & BL 2026

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

Dates and Venue

Venue

Academic Conference Center, Husova 4a, Prague 1.

map

February 4 - 6

Conference Dinner

At the Institute of Computer Science of the CAS, Prague 8 .

map

February 4, 7pm

Invited Speakers

Tommaso Flaminio

On Fuzzy Logic, Probability Theory, and Their Cooperation

-

Ansten Klev

Meaningful Formalism and Infinitary Objects

-

Carles Noguera

Extending Codd’s Theorem to Databases Over Semirings

-

Adam Přenosil

Deciding Equations in Conuclear Residuated Lattices

-

Iva Svačinová & Petra Vodová

Gender Dimension of Disinformers’ Confrontational Style

-

Gustav Šír

Neuro-Symbolic Learning With Relational Logic via Differentiable Semantics


Programme

The conference schedule can be consulted here.


The book of abstracts can be downloaded here.


Presentations

Guillermo Badia, Gaia Petreni, Carles Noguera, Val Tannen - Containment of Conjunctive Queries with Negated Atoms for Databases over Semirings
Marta Bílková, Peter Jipsen, Melissa Sugimoto - On the structure of involutive po-monoids as models of Multiplicative Linear Logic
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 - Generalized compactness in mathematics
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

Submissions

The deadline for submissions has passed.

Registration & Conference Fees

Registration is closed.

Conference fees:

Early (before January 16, 2026): 2200 CZK
Late: 2500 CZK
Student: free
ORGANIZED by the Institute of Computer Science of the Czech Academy of Sciences
CO-ORGANIZED by the Institute of Philosophy of the Czech Academy of Sciences


Organizing Committee

Petr Cintula
Zuzana Haniková (chair)
Filip Jankovec
Vít Punčochář
Hana Stříhavková
Amanda Vidal

Programme Committee

Libor Běhounek
Zuzana Haniková (co-chair)
Rostislav Horčík (co-chair)
Roman Kuznets
Vít Punčochář
Karel Šebela
Vítězslav Švejdar

Acknowledgements



Header photo by Sarah Sheedy on Unsplash