Multi-type display calculus for semi De Morgan logic
From MaRDI portal
Publication:1685926
DOI10.1007/978-3-662-55386-2_14zbMath1496.03258OpenAlexW2724163406MaRDI QIDQ1685926
M. Andrew Moshier, Fei Liang, Alessandra Palmigiano, Giuseppe Greco
Publication date: 20 December 2017
Full work available at URL: https://digitalcommons.chapman.edu/scs_articles/585
Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (11)
Linear Logic Properly Displayed ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Monoidal logics: completeness and classical systems ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Semi De Morgan logic properly displayed ⋮ Bilattice logic properly displayed ⋮ Proper multi-type display calculi for rough algebras ⋮ Quasi-Nelson algebras
This page was built for publication: Multi-type display calculus for semi De Morgan logic
