Extending the Lambek calculus with classical negation

DOI10.1007/S11225-021-09965-YMaRDI QIDQ2118967zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Classical non-associative Lambek calculus
• On classical nonassociative Lambek calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• On involutive nonassociative Lambek calculus
• De Morgan interpretation of the Lambek-Grishin calculus

Cites work

• scientific article; zbMATH DE number 1341928 (Why is no real title available?)
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar
• Categorial grammars with negative information
• Classical non-associative Lambek calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• The Mathematics of Sentence Structure

Cited in

(7)

• On classical nonassociative Lambek calculus
• Classical non-associative Lambek calculus
• Extensions of Lambek calculi
• A Note on Negation in Categorial Grammar
• scientific article; zbMATH DE number 6131419 (Why is no real title available?)
• A rule-extension of the non-associative Lambek calculus
• Involutive nonassociative Lambek calculus: sequent systems and complexity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118967)