Constructive predicate logic with strong negation and model theory.
Open Access
- 1 December 1987
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 29 (1) , 18-27
- https://doi.org/10.1305/ndjfl/1093637767
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: