Constructive Logic with Strong Negation Is a Substructural Logic. II
Matthew Spinks and Robert VeroffVolume:
89
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/40268985
Date:
August, 2008
File:
PDF, 2.39 MB
english, 2008