Studia Logica

, Volume 33, Issue 3, pp 283–298 | Cite as

Semantical analyses of propositional systems of Fitch and Nelson

  • Richard Routley


Mathematical Logic Semantical Analysis Computational Linguistic Propositional System 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. R. Anderson andN. D. Belnap,Entailment, Princeton University Press, Princeton, 1975.Google Scholar
  2. [2]
    E. M. Barth,On the transformation of closed semantic tableaus into natural and axiomatic deductions,Logique et Analyse, vol. 19 (1966).Google Scholar
  3. [3]
    A. Church,Introduction to mathematical logic, Princeton University Press, Princeton, 1956.Google Scholar
  4. [4]
    F. B. Fitch,Symbolic logic, an Introduction, Ronald Press Co., New York, 1952.Google Scholar
  5. [5]
    S. C. Kleene,Introduction to metamathematics, North-Holland, Amsterdam, 1962.Google Scholar
  6. [6]
    S. A. Kripke,Semantical analysis of modal logic I,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.Google Scholar
  7. [7]
    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.Google Scholar
  8. [8]
    D. Nelson,Constructible falsity,Journal of Symbolic Logic, vol. 14 (1949), pp. 16–26.Google Scholar
  9. [9]
    K. Segerberg,Propositional logics related to Heyting's and Johansson's,Theoria, vol. 34 (1968), pp. 26–61.Google Scholar
  10. [10]
    R. H. Thomason,The semantical completeness of a system of Fitch (abstract),Journal of Symbolic Logic, vol. 31 (1966), pp. 695–696.Google Scholar
  11. [11]
    R. H. Thomason,A decision procedure for Fitch's propositional calculus,Notre Dame Journal of Formal Logic, vol. 8 (1967), pp. 101–117.Google Scholar
  12. [12]
    R. H. Thomason,A semantical study of constructible falsity,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969) pp. 247–257.Google Scholar

Copyright information

© Warszawa 1974

Authors and Affiliations

  • Richard Routley
    • 1
  1. 1.Australian National UniversityAustralia

Personalised recommendations