On the Proof Method for Constructive Falsity
- 1 January 1988
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 34 (5) , 385-392
- https://doi.org/10.1002/malq.19880340502
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Constructive predicate logic with strong negation and model theory.Notre Dame Journal of Formal Logic, 1987
- Constructible falsity and inexact predicatesThe Journal of Symbolic Logic, 1984
- Constructible falsityThe Journal of Symbolic Logic, 1949