Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening

DOI10.1007/S10958-022-05853-5MaRDI QIDQ2673113zbMATH OpenOpenAlexWikidataFDO

Authors A. E. Pentus, Mati Pentus

Publication date 9 June 2022

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.03739

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Theory of computing (68Qxx)

Recommendations

• Proof nets for the multimodal Lambek calculus
• An application of proof-nets to the study of fragments of the Lambek calculus
• Lambek calculus with a unit and one division
• LC graphs for the Lambek calculus with product
• Proof-theoretic aspects of the Lambek-Grishin calculus

Cites work

• An application of proof-nets to the study of fragments of the Lambek calculus
• Recognition of derivability for the Lambek calculus with one division
• The atomic theory of left division of two-sided ideals of semirings with unit
• The Mathematics of Sentence Structure

Cited in

(3)

• Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening
• scientific article; zbMATH DE number 6131419 (Why is no real title available?)
• Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening

This page was built for publication: Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening

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