Intuitionistic logic with strong negation
- 1 March 1977
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 36 (1-2) , 49-59
- https://doi.org/10.1007/bf02121114
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A semantical study of constructible falsityMathematical Logic Quarterly, 1969
- A Philosophically Plausible Formal Interpretation of Intuitionistic LogicIndagationes Mathematicae, 1964
- N-lattices and constructive logic with strong negationFundamenta Mathematicae, 1958
- Constructible falsityThe Journal of Symbolic Logic, 1949
- Proof of the independence of the primitive symbols of Heyting's calculus of propositionsThe Journal of Symbolic Logic, 1939