Mathematische Annalen

, Volume 196, Issue 1, pp 58–84 | Cite as

A semantical analysis of implicational systemI and of the first degree of entailment

  • R. Routley


Semantical Analysis Implicational systemI 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anderson, A. R.: Some open problems concerning the systemE of entailment. Acta Philosophica Fennica, fasc.16, 7–18 (1963).Google Scholar
  2. 2.
    Belnap, N. D.: Intensional models for first degree formulas. Journal of Symbolic Logic32, 1–22 (1967).Google Scholar
  3. 3.
    Carnap, R.: Logical foundations of probability. Second edition, Chicago: University of Chicago Press 1962.Google Scholar
  4. 4.
    Church, A.: Introduction to mathematical logic. Vol. 1, Princeton: Princeton University Press 1956.Google Scholar
  5. 5.
    Dunn, J. M., Belnap, N. D.: Homomorphisms of intensionally complemented distributive lattices. Math. Ann.176, 28–38 (1968).Google Scholar
  6. 6.
    Halldén, S.: On the semantic non-completeness of certain Lewis calculi. Journal of Symbolic Logic16, 127–129 (1951).Google Scholar
  7. 7.
    Kripke, S. A.: Semantical analysis of model logic I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik9, 67–96 (1963).Google Scholar
  8. 7b.
    —— Semantical analysis of modal logic II Non-normal model propositional calculi. In: The Theory of Models (edited Addison-Henkin-Tarski), pp. 206–220. Amsterdam: North Holland 1965.Google Scholar
  9. 7c.
    —— Semantical analysis of intuitionistic logic I. In: Formal Systems and Recursive Functions (edited Crossley-Dummett), pp. 92–130. Amsterdam: North Holland 1965.Google Scholar
  10. 8.
    Meyer, R. K., Dunn, J. H.:E, R and γ. Journal of Symbolic Logic,34, 460–474 (1969).Google Scholar
  11. 9.
    Routley, R.: On implicational systems containing factor and summation (forth-coming).Google Scholar
  12. 10.
    Routley, R. and V.: The semantics of first-degree entailment. Nous (forthcoming).Google Scholar
  13. 11.
    Segerberg, K.: Propositional logics related to Heyting's and Johansson's. Theoria,34, 26–61 (1968).Google Scholar
  14. 12.
    Szász, G.: Introduction to lattice theory. New York: Academic Press 1963.Google Scholar

Copyright information

© Springer-Verlag 1972

Authors and Affiliations

  • R. Routley
    • 1
  1. 1.Department of Philosophy The Research School of Social SciencesThe Australian National UniversityCanberraAustralia

Personalised recommendations