Intuitionistic logic with strong negation

Constructible falsity

David Nelson · Journal of Symbolic Logic · 1949 · 418 citations

Humanities, Mathematics, Philosophy +7

A semantical study of constructible falsity

Richmond H. Thomason · Mathematical logic quarterly · 1969 · 101 citations

Humanities, Philosophy, Semantics +6

A Philosophically Plausible Formal Interpretation of Intuitionistic Logic

Andrzej Grzegorczyk · Indagationes Mathematicae (Proceedings) · 1964 · 83 citations

Humanities, Philosophy, Epistemology +9

N-lattices and constructive logic with strong negation

Helena Rasiowa · Fundamenta Mathematicae · 1958 · 78 citations · Full text

Humanities, Computer Science, Mathematics +13

Proof of the independence of the primitive symbols of Heyting's calculus of propositions

J. C. C. McKinsey · Journal of Symbolic Logic · 1939 · 58 citations

Humanities, Mathematics, Formal Methods +4