Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Classical relevant logics. I

  • 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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Routley R. andMeyer R. K.:The semantics of entailment, I, II, III, IV, V. I appears inH. Leblanc (ed.):Truth, Syntax, Modality, North-Holland 1973. II appears in The Journal of Philosophical Logic 1 (1972), 53–73. III is to appear in the same journal. IV and V are in preparation.

  2. Meyer R. K. andRoutley R.:Algebraic analysis of entailment I, to appear.

  3. Anderson A. R. andBelnap N. D. Jr.:The pure calculus of entailment. The Journal of Symbolic Logic 27 (1962), 19–52.

    Google Scholar 

  4. Meyer R. K.:Entailment. The Journal of Philosophy 21 (1971), 808–817.

    Google Scholar 

  5. Dunn J. M.:The Algebra of Intensional Logics (doctoral dissertation), University Microfilms, Ann Arbor 1966.

    Google Scholar 

  6. Meyer R. K.:Conservative extension in relevant implication. Studia Logica 31 (1972), 39–48.

    Article  Google Scholar 

  7. Belnap N. D. Jr.:Intensional models for first-degree formulas. The Journal of Symbolic Logic 32 (1967), 1–22.

    Google Scholar 

  8. Kripke, S. A.:The problem of entailment (abstract). The Journal of Symbolic Logic 24 (1959), 324.

    Google Scholar 

  9. Belnap N. D. Jr. andWallace J. R.:A decision procedure for the system E1 of entailment with negation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 11 (1965), 277–289.

    Google Scholar 

  10. Anderson A. R. andBelnap N. D. Jr.:Modalities in Ackermann's ‘rigorous implication’. The Journal of Symbolic Logic 24 (1959), 107–111.

    Google Scholar 

  11. Dunn J. M.:A ‘Gentzen system’ for positive relevant implication (abstract). The Journal of Symbolic Logic, forthcoming.

  12. Meyer R. K.:Metacompleteness. Notre Dame Journal of Formal Logic, forthcoming.

Download references

Author information

Authors and Affiliations

  1. Indiana University, Indiana, USA

    Robert K. Meyer & Richard Routley

  2. University of Toronto, Toronto, Canada

    Robert K. Meyer & Richard Routley

  3. Australian National University, Australia

    Robert K. Meyer & Richard Routley

Authors
  1. Robert K. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Routley
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 24 Octobris 1972

Rights and permissions

Reprints and permissions

About this article

Cite this article

Meyer, R.K., Routley, R. Classical relevant logics. I. Stud Logica 32, 51–66 (1973). https://doi.org/10.1007/BF02123812

Download citation

  • Issue Date:

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

Keywords

Search

Navigation