A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis |
| |
| Authors: | Ross T. Brady |
| |
| Affiliation: | (1) Department of Philosophy, La Trobe University, 3083 Bundoora, Victoria, Australia |
| |
| 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: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
