Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening

DOI10.1007/S10958-023-06299-ZOpenAlexW4321617665MaRDI QIDQ2689023

A. E. Pentus, M. R. Pentus

Publication date: 6 March 2023

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

Full work available at URL: https://doi.org/10.1007/s10958-023-06299-z

Mathematics Subject Classification ID

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

Cites Work

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

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