Publication:4026931
From MaRDI portal
zbMath0778.03003MaRDI QIDQ4026931
Publication date: 21 February 1993
algebraic semantics; full Lambek calculus; Gentzen-type sequent calculus; intuitionistic phase structures; logics without structural rules
03B60: Other nonclassical logic
03F05: Cut-elimination and normal-form theorems
03G25: Other algebras related to logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Modal translation of substructural logics, Algebraic Kripke-style semantics for relevance logics, Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics, Order-dual relational semantics for non-distributive propositional logics: a general framework