Semantic Decision Procedures for Some Relevant Logics

  • Ross Brady Philosophy Program, La Trobe University

Abstract

This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as F-logics, for those proved decidable using a filtration method, and U-logics, for those proved decidable using a direct (unfiltered) method. Both of these methods are set out as reductio methods, in the style of Hughes and Cresswell. We also examine some extensions of the U-logics where the method fails and infinite sequences of worlds can be generated.

Author Biography

Ross Brady, Philosophy Program, La Trobe University
Published
2003-07-01
How to Cite
BRADY, Ross. Semantic Decision Procedures for Some Relevant Logics. The Australasian Journal of Logic, [S.l.], v. 1, july 2003. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1760>. Date accessed: 15 nov. 2019. doi: https://doi.org/10.26686/ajl.v1i0.1760.