scientific article; zbMATH DE number 742720
From MaRDI portal
Publication:4327830
zbMath0817.03027MaRDI QIDQ4327830
No author found.
Publication date: 9 April 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (8)
Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ On involutive nonassociative Lambek calculus ⋮ On Classical Nonassociative Lambek Calculus ⋮ Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ Dualized Simple Type Theory ⋮ Reasoning with ambiguity ⋮ One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity ⋮ Extensions of Lambek Calculi
This page was built for publication:
