Showing 2021Show all
2 papers · 1 filter
math.LO2021
The lattice of super-Belnap logics
Adam Přenosil
We study the lattice of extensions of four-valued Belnap--Dunn logic, called super-Belnap logics by analogy with superintuitionistic logics. We describe the global structure of thi…
math.LO2021
Semisimplicity, Glivenko theorems, and the excluded middle
Tomáš Lávička, Adam Přenosil
We formulate a general, signature-independent form of the law of the excluded middle and prove that a logic is semisimple if and only if it enjoys this law, provided that it satisf…