Translating Non-classical Logics into Classical Logic by Using Hidden Variables
Crossref DOI link: https://doi.org/10.1007/s11787-017-0168-1
Published Online: 2017-04-29
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Agudelo-Agudelo, Juan C.
License valid from 2017-04-29