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)

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

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)

Cites Work

• Title not available (Why is that?)
• The Mathematics of Sentence Structure
• Interpolation and FEP for logics of residuated algebras
• The Lambek calculus extended with intuitionistic propositional logic
• Categorial grammars with negative information
• Classical non-associative Lambek calculus
• Language and grammar. Studies in mathematical linguistics and natural language
• Proof-theoretic aspects of the Lambek-Grishin calculus

Cited In (3)

• Full Lambek Calculus in natural deduction
• A Note on Negation in Categorial Grammar
• Extraction in the Lambek-Grishin Calculus

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)