A ROUTLEY-MEYER SEMANTICS FOR ACKERMANN'S LOGICS OF "STRENGE IMPLIKATION"

被引：4
|
作者：
Mendez, Jose M. [1 ]
机构：
[1] Univ Salamanca, Campus Unamuno,Edificio FES, Salamanca 37007, Spain
来源：
LOGIC AND LOGICAL PHILOSOPHY | 2009年 / 18卷 / 3-4期
关键词：
Ackermann's logics; Routley-Meyer semantics; relevant logics; paraconsistent logics;
D O I：
10.12775/LLP.2009.010
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
The aim of this paper is to provide a Routley-Meyer semantics for Ackermanns logics of strenge Implikation Pi' and Pi" . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Pi' and Pi" are proved. A brief discussion on Pi' , Pi" and paraconsistency is included.
引用
收藏
页码：191 / 219
页数：29
相关论文
共 30 条
123