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.

Downloads

Download data is not yet available.

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: 24 jan. 2020. doi: https://doi.org/10.26686/ajl.v1i0.1760.