scientific article; zbMATH DE number 218501
From MaRDI portal
Publication:4694214
zbMath0790.03007MaRDI QIDQ4694214
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequent calculusLambek calculuslinear logiclambda calculusstructural rulescategorial grammarBCK logic
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (16)
Duality results for (co)residuated lattices ⋮ Editorial introduction: substructural logics and metainferences ⋮ Relation algebras as expanded FL-algebras ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ The contraction rule and decision problems for logics without structural rules ⋮ A decision procedure revisited: Notes on direct logic, linear logic and its implementation ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Modal translations in substructural logics ⋮ Principal types of BCK-lambda-terms ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ Proof complexity of substructural logics ⋮ Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study ⋮ Modal translation of substructural logics ⋮ Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
This page was built for publication:
