De Morgan interpretation of the Lambek-Grishin calculus

DOI10.1017/S175502031900011XzbMATH Open1479.03014MaRDI QIDQ3389495FDOQ3389495

Authors Michael Kaminski, Nissim Francez

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

dualitynegationcut eliminationDe Morgan's lawssequent calculusLambek-Grishin calculus

Mathematics Subject Classification ID

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

Recommendations

• Proof-theoretic aspects of the Lambek-Grishin calculus
• Generalized Kripke semantics for the Lambek-Grishin calculus
• scientific article; zbMATH DE number 757643
• Extensions of Lambek calculi
• Polarized Montagovian Semantics for the Lambek-Grishin Calculus

Cites work

• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• Categorial grammars with negative information
• Classical non-associative Lambek calculus
• Interpolation and FEP for logics of residuated algebras
• Language and grammar. Studies in mathematical linguistics and natural language
• Proof-theoretic aspects of the Lambek-Grishin calculus
• The Lambek calculus extended with intuitionistic propositional logic
• The Mathematics of Sentence Structure

Cited in

(4)

• Extraction in the Lambek-Grishin Calculus
• Extending the Lambek calculus with classical negation
• Full Lambek Calculus in natural deduction
• A Note on Negation in Categorial Grammar

This page was built for publication: De Morgan interpretation of the Lambek-Grishin calculus

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