Open problems in Equivalential Calculus

Prelegent(ci)

Marcin Czakon

Afiliacja

Department of Logic KUL, Poland

Język referatu

angielski

Termin

18 marca 2026 14:15

Pokój

p. 5440

Tytuł w języku polskim

Open problems in Equivalential Calculus

Seminarium

Seminarium „Teoria automatów”

---

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

---