Extending the Lambek calculus with classical negation

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

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

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

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

• The Mathematics of Sentence Structure
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Relational semantics of the Lambek calculus extended with classical propositional logic
• A Note on Negation in Categorial Grammar
• Categorial grammars with negative information
• Classical non-associative Lambek calculus
• Title not available (Why is that?)

Cited In (4)

• Classical non-associative Lambek calculus
• A Note on Negation in Categorial Grammar
• Title not available (Why is that?)
• A rule-extension of the non-associative Lambek calculus

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)