Natural Deduction Systems for Intuitionistic Logic with Identity
Crossref DOI link: https://doi.org/10.1007/s11225-022-09995-0
Published Online: 2022-06-11
Published Print: 2022-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chlebowski, Szymon http://orcid.org/0000-0003-4787-7187
Gawek, Marta
Tomczyk, Agata
Funding for this research was provided by:
narodowe centrum nauki (2017/26/E/HS1/00127, 2015/17/B/HS1/02232)
Text and Data Mining valid from 2022-06-11
Version of Record valid from 2022-06-11
Article History
Received: 2 September 2020
Accepted: 16 February 2022
First Online: 11 June 2022