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

DOI10.1007/s10958-022-05853-5OpenAlexW2992511673WikidataQ114017517 ScholiaQ114017517MaRDI QIDQ2673113

A. E. Pentus, M. R. 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

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

Related Items (1)

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

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
• 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: Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening