DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS

DOI10.1017/S175502031900011XzbMath1479.03014MaRDI QIDQ3389495

Michael Kaminski, Nissim Francez

Publication date: 11 May 2021

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

zbMATH Keywords

dualitycut eliminationsequent calculusnegationDe Morgan's lawsLambek-Grishin calculus

Mathematics Subject Classification ID

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

Cites Work

• The Lambek calculus extended with intuitionistic propositional logic
• Classical non-associative Lambek calculus
• Interpolation and FEP for logics of residuated algebras
• Proof-Theoretic Aspects of the Lambek-Grishin Calculus
• The Mathematics of Sentence Structure
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS