Extending the Lambek Calculus with Classical Negation
Crossref DOI link: https://doi.org/10.1007/s11225-021-09965-y
Published Online: 2021-09-02
Published Print: 2022-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kaminski, Michael http://orcid.org/0000-0002-9848-4191
Text and Data Mining valid from 2021-09-02
Version of Record valid from 2021-09-02
Article History
Received: 30 December 2019
Accepted: 19 July 2021
First Online: 2 September 2021