A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics

被引:4
|
作者
Robles, Gemma [1 ]
Mendez, Jose M. [2 ]
机构
[1] Univ Leon, Dpto Psicol Sociol & Filosofia, E-24071 Leon, Spain
[2] Univ Salamanca, Salamanca 37007, Spain
关键词
Lukasiewicz 3-valued logic; Routley-Meyer semantics; paraconsistent logics;
D O I
10.1093/jigpal/jzt017
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Lukasiewicz 3-valued logic L3 is often understood as the set of all valid formulas according to Lukasiewicz 3-valued matrices ML3. Following Wojcicki, in addition, we shall consider two alternative interpretations of L3: 'truth-preserving' L3a and 'well-determined' L3b defined by two different consequence relations on the 3-valued matrices ML3. The aim of this article is to provide a Routley-Meyer ternary semantics for each one of these three versions of Lukasiewicz 3-valued logic: L3, L3a and L3b.
引用
收藏
页码:1 / 23
页数:23
相关论文
共 5 条