Skip to main content
SpringerLink
Log in

A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule \( \vdash A\rightarrow \lnot A\Rightarrow \vdash \lnot A\) and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π′ are among the logics considered.

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. Ackermann, W. (1956). Begründung einer strengen Implikation. Journal of Symbolic Logic, 21/2, 113–128.

    Google Scholar 

  2. Anderson, A. R., & Belnap, N. D. Jr. (1975). Entailment. The logic of relevance and necessity (Vol. I). Princeton: Princeton University Press.

    Google Scholar 

  3. Anderson, A. R., Belnap, N. D. Jr., & Dunn, J. M. (1992). Entailment. The logic of relevance and necessity (Vol. II). Princeton; Princeton University Press.

    Google Scholar 

  4. Bimbó, K. (2007). Relevance logics. In D. Jacquette (Ed.), Philosophy of logic, Handbook of the philosophy of sciences (Vol. 5, pp. 723–789).

  5. Bimbó, K., & Dunn, J. M. (2008). Generalized galois logics: Relational semantics of nonclassical logical Calculi. CSLI Lecture Notes (Vol. 188). Standford: CSLI.

  6. Brady, R. T. (1984). Natural deduction systems for some quantified relevant logics. Logique et Analyse, 27, 355–377.

    Google Scholar 

  7. Brady, R. T. (2003). Semantic decision procedures for some relevant logics. Australasian Journal of Logic, 1, 4–27.

    Google Scholar 

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

    Article  Google Scholar 

  9. Dunn, J. M. (1986). Relevance logic and entailment. In D. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 3, pp. 117–229). Dordrecht: D. Reidel.

    Google Scholar 

  10. Dunn, J. M. (1991). Gaggle theory: An abstraction of Galois connections and residuation with applications to negation, implication and various logical operators. In J. van Eijck (Ed.), Logics in AI: European Workshop JELIA ‘90 (LNCS 478) (pp. 31–51). New York: Springer.

    Google Scholar 

  11. Dunn, J. M. (2001). A representation of relation algebras using Routley-Meyer frames. In C. A. Anderson, & M. Zeleny (Eds.), Logic, meaning and computation. Essays in memory of Alonzo Church (pp. 77–108). Dordrecht: Kluwer.

    Google Scholar 

  12. Dunn, J. M., & Restall, G. (2002). Relevance logics. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 1–128). Dordrecht: Kluwer.

    Google Scholar 

  13. Mares, E. D., & Meyer, R. K. (2001). Relevant logics. In L. Goble (Ed.), The blackwell guide to philosophycal logic (pp. 280–308). Oxford: Blackwell.

    Google Scholar 

  14. Meyer, R. K. (1976). Ackermann, Takenti and Schnitt: γ for higher relevant logics. Bulletin of the Section Logic, 5, 138–174.

    Google Scholar 

  15. Meyer, R. K., & Dunn, J. M. (1969). E, R and γ. Journal of Symbolic Logic, 34, 460–474.

    Article  Google Scholar 

  16. Meyer, R. K., & Routley, R. (1972). Algebraic analysis of entailment I. Logique et Analyse, 15, 407–428.

    Google Scholar 

  17. Robles, G., & Méndez, J. M. (2004). The logic B and the reductio axioms. Bulletin of the Section of Logic, 33/2, 87–94.

    Google Scholar 

  18. Robles, G., & Méndez, J. M. (2008). The basic constructive logic for a weak sense of consistency. Journal of Logic Language and Information, 17/1, 89–107.

    Google Scholar 

  19. Robles, G., & Méndez, J. M. (submitted). A Routley and Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.

  20. Routley, R., & Meyer, R. K. (1972). Semantics of entailment III. Journal of Philosophical Logic, 1, 192–208.

    Article  Google Scholar 

  21. Routley, R., & Meyer, R. K. (1973). Semantics of entailment I. In H. Leblanc (Ed.), Truth, syntax and modality (pp. 199–243). Amsterdam: North Holland.

    Chapter  Google Scholar 

  22. Routley, R., Meyer, R. K., Plumwood, V., & Brady, R. T. (1982a). Relevant logics and their rivals (Vol. 1). Atascadero: Ridgeview.

    Google Scholar 

  23. Routley, R., Meyer, R. K., Plumwood, V., & Brady R. T. (1982b). Semantics of entailment IV. In R. Routley et al. (Eds.), Relevant logics and their rivals, Appendix I (Vol. 1). Atascadero: Ridgeview.

    Google Scholar 

  24. Slaney, J. (1987). Reduced models for relevant logics without WI. Notre Dame Journal of Formal Logic, 28, 395–407.

    Article  Google Scholar 

  25. Slaney, J. (1995). MaGIC, matrix generator for implication connectives: Version 2.1, notes and guide. Canberra: Australian National University. http://users.rsise.anu.edu.au/~jks.

Download references

Author information

Authors and Affiliations

  1. Dpto. de Historia y Filosofía de la CC, la Ed. y el Lenguaje, Facultad de Filosofía, Universidad de La Laguna, Campus de Guajara, 38071, La Laguna, Tenerife, Canary Islands, Spain

    Gemma Robles

  2. Universidad de Salamanca Campus Unamuno, Edificio FES, 37007, Salamanca, Spain

    José M. Méndez

Authors
  1. Gemma Robles
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José M. Méndez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gemma Robles.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Robles, G., Méndez, J.M. A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism. J Philos Logic 39, 139–158 (2010). https://doi.org/10.1007/s10992-009-9117-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-009-9117-7

Keywords

Search

Navigation