Lambek calculus with restricted contraction and expansion

DOI10.1007/BF00370335zbMath0757.03015OpenAlexW2010899486MaRDI QIDQ1194112

Andreja Prijatelj

Publication date: 27 September 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370335

zbMATH Keywords

additional structural rulessequent-systemsstrengthenings of the non-directional product-free Lambek calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) General logic (03B99)

Cites Work

• Unnamed Item
• Unnamed Item
• The lambda calculus, its syntax and semantics
• Untersuchungen über das logische Schliessen. I
• Categories of frames for modal logic
• A formulation of the simple theory of types

This page was built for publication: Lambek calculus with restricted contraction and expansion