Proof Nets for the Lambek Calculus with One Division and a Negative-Polarity Modality for Weakening
Crossref DOI link: https://doi.org/10.1007/s10958-022-05853-5
Published Online: 2022-05-20
Published Print: 2022-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pentus, A. E.
Pentus, M. R.
Text and Data Mining valid from 2022-04-01
Version of Record valid from 2022-04-01
Article History
First Online: 20 May 2022