Skip to main content
SpringerLink
Log in

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

  • Published:
Mathematische Annalen Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Anderson, A. R.: Some open problems concerning the systemE of entailment. Acta Philosophica Fennica, fasc.16, 7–18 (1963).

    Google Scholar 

  2. Belnap, N. D.: Intensional models for first degree formulas. Journal of Symbolic Logic32, 1–22 (1967).

    Google Scholar 

  3. Carnap, R.: Logical foundations of probability. Second edition, Chicago: University of Chicago Press 1962.

    Google Scholar 

  4. Church, A.: Introduction to mathematical logic. Vol. 1, Princeton: Princeton University Press 1956.

    Google Scholar 

  5. Dunn, J. M., Belnap, N. D.: Homomorphisms of intensionally complemented distributive lattices. Math. Ann.176, 28–38 (1968).

    Google Scholar 

  6. Halldén, S.: On the semantic non-completeness of certain Lewis calculi. Journal of Symbolic Logic16, 127–129 (1951).

    Google Scholar 

  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. —— 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. —— 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. Meyer, R. K., Dunn, J. H.:E, R and γ. Journal of Symbolic Logic,34, 460–474 (1969).

    Google Scholar 

  11. Routley, R.: On implicational systems containing factor and summation (forth-coming).

  12. Routley, R. and V.: The semantics of first-degree entailment. Nous (forthcoming).

  13. Segerberg, K.: Propositional logics related to Heyting's and Johansson's. Theoria,34, 26–61 (1968).

    Google Scholar 

  14. Szász, G.: Introduction to lattice theory. New York: Academic Press 1963.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy The Research School of Social Sciences, The Australian National University, Box 4, P.O., 2600, Canberra, A.C.T., Australia

    R. Routley

Authors
  1. R. Routley
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Routley, R. A semantical analysis of implicational systemI and of the first degree of entailment. Math. Ann. 196, 58–84 (1972). https://doi.org/10.1007/BF01419432

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01419432

Keywords

Search

Navigation