2 papers
math.LO2026
Varieties of De Morgan bisemilattices
Francesco Paoli, Damian Szmuc, Agustina Borzi +1
De Morgan bisemilattices are expansions of distributive bisemilattices by an involution satisfying De Morgan properties. They have attracted interest both as algebraic models of an…
math.LO2026
Sequent calculi for first-order ST
Francesco Paoli, Adam Přenosil
Strict-Tolerant Logic (ST) underpins naive theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) w…