A Square of Oppositions in Intuitionistic Logic with Strong Negation
Crossref DOI link: https://doi.org/10.1007/s11787-016-0144-1
Published Online: 2016-03-24
Published Print: 2016-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lepage, François
Text and Data Mining valid from 2016-03-24