Skip to main content
SpringerLink
Log in

A Kripke-style semantics for R-Mingle using a binary accessibility relation

  • Published:
Studia Logica 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. A. R. Anderson andN. D. Belnap,Entailment, Princeton, 1975.

  2. J. M. Dunn,Algebraic completeness results for R-mingle and its extensions,The Journal of Symbolic Logic, 35 (1970), pp. 1–13.

    Google Scholar 

  3. J. M. Dunn,Representation theory of normal R-mingle matrices, abstract,The Journal of Symbolic Logic, 33 (1968), p. 67.

    Google Scholar 

  4. J. M. Dunn,R-mingle and beneath. Extensions of the Routley-Meyer Semantics for R,Notre Dame Journal of Formal Logic, forthcoming.

  5. J. M. Dunn,Intuitive semantics for first-degree entailments and coupled trees,Philosophical Studies, forthcoming.

  6. J. M. Dunn andR. K. Meyer,Algebraic completeness results for Dummet's LC and its extensions,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 17 (1971), pp. 225–230.

    Google Scholar 

  7. A. Grzegorczyk,A philosophically plausible formal interpreiation of intuitionistic logic,Indagationes Mathematicae, 26 (1964), pp. 596–601.

    Google Scholar 

  8. S. A. Kripke,Semantical analysis of intuitionistic logic I, inFormal systems and recursive functions (eds., J. N. Crossley and M. A. E. Dummet), pp. 92–130, Amsterdam, 1965.

  9. R. K. Meyer,R-mingle and relevant disfunction, abstract,The Journal of Symbolic Logic, 36 (1971), p. 366.

    Google Scholar 

  10. R. K. Meyer, J. M. Dunn and H. Leblanc,Completeness of relevant quantification theories,Notre Dame Journal of Formal Logic, 15 (1974), pp. 97–121.

    Google Scholar 

  11. R. Routley,Semantical analysis of propositional systems of Fitch and Nelson,Studia Logica, 33 (1974), pp. 283–298.

    Google Scholar 

  12. R. Routley,A semantical analysis of the implication system I and of the first degree of entailment,Mathematische Annalen, 196 (1972), pp. 58–84.

    Article  Google Scholar 

  13. R. Routley andR. K. Meyer,The semantics of entailment, inTruth, Syntax and Modality, ed., H. Leblanc, Amsterdam, 1973, pp. 199–243.

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

    Google Scholar 

  15. R. H. Thomason,A semantical study of constructible falsity,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 15 (1969), pp. 247–257.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Indiana University, Bloomington, Indiana

    J. Michael Dunn

Authors
  1. J. Michael Dunn
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Grateful acknowledgement is made for partial support to the National Science Foundation, U.S.A., grant GS-33708.

Allatum est die 21 Junii 1975

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dunn, J.M. A Kripke-style semantics for R-Mingle using a binary accessibility relation. Stud Logica 35, 163–172 (1976). https://doi.org/10.1007/BF02120878

Download citation

  • Issue Date:

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

Keywords

Search

Navigation