Lattice logic properly displayed

DOI10.1007/978-3-662-55386-2_11zbMath1496.03103arXiv1612.05930MaRDI QIDQ1685923

Alessandra Palmigiano, Giuseppe Greco

Publication date: 20 December 2017

Full work available at URL: https://arxiv.org/abs/1612.05930

zbMATH Keywords

cut elimination; substructural logics; sequent calculi; algebraic proof theory; display calculi; lattice logic; multi-type calculi

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03F05: Cut-elimination and normal-form theorems

03B50: Many-valued logic

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)