Skip to main content
SpringerLink
Log in

Where gamma fails

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails.

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

Similar content being viewed by others

References

  1. W. Ackermann,Begrundung einer strengen Implication,The Journal of Symbolic Logic 21 (1956), pp. 113–128.

    Article  Google Scholar 

  2. A. R. Anderson,Some open problems concerning the system E of entailment,Acta Philosophica Fennica 16 (1963), pp. 7–18.

    Google Scholar 

  3. R. K. Meyer andJ. M. Dunn,E, R and γ,The Journal of Symbolic Logic 34 (1969), pp. 460–474.

    Article  Google Scholar 

  4. C. I. Lewis andC. H. Langford,Symbolic Logic, The Century Co., New York Dover (2nd Edition, 1959), 1932.

    Google Scholar 

  5. R. T. Brady,The non-triviality of extensional dialectical set theory,Paraconsistent Logics, editors Priest, G., Routley, R., and Norman, J., Philosophia Verlag 1983.

  6. R. K. Meyer,Relevant arithmetic,Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, 5 (1976), pp. 133–137.

    Google Scholar 

  7. R. K. Meyer andR. Routlet,Classical relevant logics II,Studia Logica 33 (1974), pp. 183–194.

    Article  Google Scholar 

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

    Article  Google Scholar 

  9. J. Slaney,A metacompleteness theorem for contraction-free relevant logics,Paraconsistent Logics, editors Priest, G., Routley, R., and Norman, J., Philosophia Verlag, 1983.

  10. R. T. Brady,Completeness proofs for the systems RM3 and BN4, Relevant Logics and Their Rivals: Part II (forthcoming). Editors Routley, R., Meyer, R. K., et al.

  11. J. M. Dunn,The Algebra of Intensional Logics, Doctoral Dissertation, University of Pittsburgh, 1966.

Download references

Author information

Authors and Affiliations

  1. Australian National University, Australia

    Robert K. Meyer, Steve Giambrone & Ross T. Brady

  2. University of South-Western Louisiana, USA

    Robert K. Meyer, Steve Giambrone & Ross T. Brady

  3. LaTrobe University, USA

    Robert K. Meyer, Steve Giambrone & Ross T. Brady

Authors
  1. Robert K. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steve Giambrone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ross T. Brady
    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

Meyer, R.K., Giambrone, S. & Brady, R.T. Where gamma fails. Stud Logica 43, 247–256 (1984). https://doi.org/10.1007/BF02429841

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation