Capturing naive validity in the Cut-free approach
Crossref DOI link: https://doi.org/10.1007/s11229-016-1199-5
Published Online: 2016-09-01
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Barrio, Eduardo
Rosenblatt, Lucas
Tajer, Diego
Text and Data Mining valid from 2016-09-01
Version of Record valid from 2016-09-01
Article History
Received: 27 July 2015
Accepted: 13 August 2016
First Online: 1 September 2016