Studia Logica 48 (2):235-241 (1989)

Abstract
We provide a semantics for relevant logics with addition of Aristotle's Thesis, ∼(A→∼A) and also Boethius,(A→B)→∼(A→∼B). We adopt the Routley-Meyer affixing style of semantics but include in the model structures a regulatory structure for all interpretations of formulae, with a view to obtaining a lessad hoc semantics than those previously given for such logics. Soundness and completeness are proved, and in the completeness proof, a new corollary to the Priming Lemma is introduced (c.f.Relevant Logics and their Rivals I, Ridgeview, 1982).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF02770514
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,291
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Connexive Logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Admissibility of Ackermann's Rule Δ in Relevant Logics.Gemma Robles - 2013 - Logic and Logical Philosophy 22 (4):411-427.
Aristotle's Thesis Between Paraconsistency and Modalization.Claudio Pizzi - 2005 - Journal of Applied Logic 3 (1):119-131.

Add more citations

Similar books and articles

A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
Rules in Relevant Logic - I: Semantic Classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.

Analytics

Added to PP index
2009-01-28

Total views
36 ( #302,985 of 2,456,061 )

Recent downloads (6 months)
1 ( #449,366 of 2,456,061 )

How can I increase my downloads?

Downloads

My notes