scientific article; zbMATH DE number 6131419

MaRDI QIDQ4903948zbMATH OpenFDO

Authors Wojciech Zielonka

Publication date 28 January 2013

zbMATH Keywords

axiomatizationGentzen formalismLambek calculus

Mathematics Subject Classification ID

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

Recommendations

• Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening
• Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
• Negation in weak positional calculi
• Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
• A -calculus with explicit weakening and explicit substitution
• scientific article; zbMATH DE number 877753
• The weakest precondition calculus: Recursion and duality
• Extending the Lambek calculus with classical negation
• A deterministic weakening of Belnap-Dunn logic
• The Weak Normalization of the Simply Typed  se-calculus

Cited in

(1)

• On the directional Lambek calculus

This page was built for publication:

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