DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS

DOI10.1017/S175502031900011XzbMATH Open1479.03014MaRDI QIDQ3389495FDOQ3389495

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)

Cites Work

• Title not available (Why is that?)
• 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
• Proof-Theoretic Aspects of the Lambek-Grishin Calculus

Cited In (2)

• Full Lambek Calculus in natural deduction
• 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)