Showing math.LOShow all
3 papers · 1 filter
math.LO2025★ 3 cited
A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
Renato Leme, Marcelo Coniglio, Bruno Lopes
Kurt Gödel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same resu…
math.LO2025
Hyper swap structures and Kalman functors: the case study of da Costa logic
Marcelo E. Coniglio, Kaique Roberto, Ana Claudia Golzio
In a previous paper, we recast Morgado hyperlattices and Sette implicative hyperlattices in lattice-theoretic terms. By utilizing swap structures induced by implicative lattices, w…
math.LO2024
Normalization and cut-elimination theorems for some logics of evidence and truth
Marcelo E. Coniglio, MartÃn Figallo, Abilio Rodrigues
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-…