Lattice logic properly displayed
From MaRDI portal
Publication:1685923
DOI10.1007/978-3-662-55386-2_11zbMath1496.03103arXiv1612.05930OpenAlexW2979689738MaRDI QIDQ1685923
Giuseppe Greco, Alessandra Palmigiano
Publication date: 20 December 2017
Full work available at URL: https://arxiv.org/abs/1612.05930
cut eliminationsubstructural logicssequent calculialgebraic proof theorydisplay calculilattice logicmulti-type calculi
Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Linear Logic Properly Displayed ⋮ Syntactic Completeness of Proper Display Calculi ⋮ A duality for two-sorted lattices ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Unnamed Item ⋮ Monoidal logics: completeness and classical systems ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Semi De Morgan logic properly displayed ⋮ Unnamed Item ⋮ Bilattice logic properly displayed ⋮ Proper multi-type display calculi for rough algebras
