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

DOI10.1007/S10958-022-05853-5arXiv1912.03739WikidataQ114017517 ScholiaQ114017517MaRDI QIDQ6330702

A. E. Pentus, M. R. Pentus

Publication date: 8 December 2019

Mathematics Subject Classification ID

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

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