Absorbing the structural rules in the sequent calculus with additional atomic rules
Crossref DOI link: https://doi.org/10.1007/s00153-019-00696-5
Published Online: 2019-10-24
Published Print: 2020-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Parlamento, Franco http://orcid.org/0000-0003-1430-960X
Previale, Flavio
Text and Data Mining valid from 2019-10-24
Version of Record valid from 2019-10-24
Article History
Received: 21 May 2018
Accepted: 14 October 2019
First Online: 24 October 2019