Natural Deduction for Post’s Logics and their Duals
Crossref DOI link: https://doi.org/10.1007/s11787-018-0190-y
Published Online: 2018-03-29
Published Print: 2018-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Petrukhin, Yaroslav
Text and Data Mining valid from 2018-03-29
Article History
Received: 10 May 2017
Accepted: 18 March 2018
First Online: 29 March 2018