A comparison between lambek syntactic calculus and intuitionistic linear propositional logic

DOI10.1002/malq.19900360103zbMath0719.03005OpenAlexW2002130184MaRDI QIDQ5750847

V. Michele Abrusci

Publication date: 1990

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360103

zbMATH Keywords

semanticsintuitionistic logicsyntactic correspondenceLambek's syntactic calculusfragment of a sequent calculus for non-commutative intuitionistic linear propositional logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On Lambek’s Restriction in the Presence of Exponential Modalities, European Summer Meeting of the Association for Symbolic Logic, Language models for some extensions of the Lambek calculus, Judgement aggregation in non-classical logics, Relational Models for the Lambek Calculus with Intersection and Constants, Explorations in Subexponential Non-associative Non-commutative Linear Logic, A restricted fragment of the Lambek calculus with iteration and intersection operations, Monoidal logics: completeness and classical systems, Language in action, A Tableau Method for the Lambek Calculus based on a Matrix Characterization, Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms, The multiplicative-additive Lambek calculus with subexponential and bracket modalities, Infinitary action logic with exponentiation, Undecidability of the Lambek Calculus with a Relevant Modality, Subexponentials in non-commutative linear logic, Phase semantics for a pure noncommutative linear propositional logic, Non-associative, non-commutative multi-modal linear logic