scientific article
From MaRDI portal
Publication:4026931
zbMath0778.03003MaRDI QIDQ4026931
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticsfull Lambek calculusGentzen-type sequent calculusintuitionistic phase structureslogics without structural rules
Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
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 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Modal translation of substructural logics
This page was built for publication:
