Advertisement

Studia Logica

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

Semantical analyses of propositional systems of Fitch and Nelson

  • Richard Routley
Article

Keywords

Mathematical Logic Semantical Analysis Computational Linguistic Propositional System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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