References
A. R. Anderson andN. D. Belnap,Entailment, Princeton University Press, Princeton, 1975.
E. M. Barth,On the transformation of closed semantic tableaus into natural and axiomatic deductions,Logique et Analyse, vol. 19 (1966).
A. Church,Introduction to mathematical logic, Princeton University Press, Princeton, 1956.
F. B. Fitch,Symbolic logic, an Introduction, Ronald Press Co., New York, 1952.
S. C. Kleene,Introduction to metamathematics, North-Holland, Amsterdam, 1962.
S. A. Kripke,Semantical analysis of modal logic I,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.
S. A. Kripke,Semantical analysis of intuitionistic logic I, inFormal systems and recursive functions (edited J. Crossley and M. Dummett), pp. 206–220, North-Holland, Amsterdam, 1965.
D. Nelson,Constructible falsity,Journal of Symbolic Logic, vol. 14 (1949), pp. 16–26.
K. Segerberg,Propositional logics related to Heyting's and Johansson's,Theoria, vol. 34 (1968), pp. 26–61.
R. H. Thomason,The semantical completeness of a system of Fitch (abstract),Journal of Symbolic Logic, vol. 31 (1966), pp. 695–696.
R. H. Thomason,A decision procedure for Fitch's propositional calculus,Notre Dame Journal of Formal Logic, vol. 8 (1967), pp. 101–117.
R. H. Thomason,A semantical study of constructible falsity,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969) pp. 247–257.
Author information
Authors and Affiliations
Additional information
Allatum est die 24 Januarii 1974
Rights and permissions
About this article
Cite this article
Routley, R. Semantical analyses of propositional systems of Fitch and Nelson. Stud Logica 33, 283–298 (1974). https://doi.org/10.1007/BF02123283
Issue Date:
DOI: https://doi.org/10.1007/BF02123283