Open problems in Equivalential Calculus

Speaker(s)

Marcin Czakon

Affiliation

Department of Logic KUL, Poland

Language of the talk

English

Date

March 18, 2026, 2:15 p.m.

Room

room 5440

Title in Polish

Open problems in Equivalential Calculus

Seminar

Seminar Automata Theory

---

It has been one hundred years since research began on the
equivalential calculus (EC), a proper fragment of classical
propositional calculus (CPC). In this system, theorems are constructed
exclusively from propositional variables and the equivalence. Several
problems in EC remain open. In this talk, I present a collection of
formulas (BXO, XMO, XBC, MXG, XDB, IXD) that are potential candidates
for the shortest single axioms of EC. I discuss possible approaches to
establishing, whether are single axioms or not. I consider the way of
resolving these problems through the use of high-performance computing
(HPC).

---