References
M. C. Fitting,Intuitionistic logic, model theory and forcing, North-Holland, Amsterdam, 1969.
A. Grzegorczyk,A philosophically plausible formal interpretation of intuitionistic logic,Indagationes Mathematicae 26 (1964), pp. 596–601.
S. C. Kleene,Introduction to metamathematics, Van Nostrand, New York, 1952.
S. Kripke,Semantical analysis of intuitionistic logic I, inFormal systems and recursive functions, North-Holland, Amsterdam, 1965, pp. 94–130.
A. A. Markov,Konstruktivnaja logika (in Russian),Uspekhi Matematičeskih Nauk 5.3 (1950), pp. 187–188.
J. C. C. McKinsey,Proof of independence of the primitive symbols of Heyting's calculus of propositions,Journal of Symbolic Logic 4 (1939), pp. 155–158.
D. Nelson,Constructible falsity,Journal of Symbolic Logic, 14 (1949), pp. 16–21.
H. Rasiowa,N-lattices and constructive logic with strong negation,Fundamenta Mathematicae 46 (1958), pp. 61–80.
R. H. Thomason,A semantical study of constructible falsity,Zeitschrift für mathematische Logik und Grundlagen der Mathematik 15 (1969), pp. 247–257.
N. N. Vorob'ev,Constructive propositional calculus with strong negation (in Russian),Transactions of Steklov's Institute 72 (1964), 195–227.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gurevich, Y. Intuitionistic logic with strong negation. Stud Logica 36, 49–59 (1977). https://doi.org/10.1007/BF02121114
Issue Date:
DOI: https://doi.org/10.1007/BF02121114