Extending the Lambek calculus with classical negation

DOI10.1007/S11225-021-09965-YOpenAlexW3198797766MaRDI QIDQ2118967

Michael Kaminski

Publication date: 23 March 2022

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

Full work available at URL: https://doi.org/10.1007/s11225-021-09965-y

zbMATH Keywords

sequent calculusLambek calculusclassical negationframe semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Classical non-associative Lambek calculus
• The Mathematics of Sentence Structure
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar

This page was built for publication: Extending the Lambek calculus with classical negation