Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix

被引:4
|
作者
Robles, Gemma [1 ]
机构
[1] Univ Leon, Dept Psicol Sociol & Filosofia, Campus Vegazana S-N, E-24071 Leon, Spain
关键词
Routley-Meyer semantics; Kleene's strong 3-valued matrix; natural conditionals; 3-valued logics; substructural logics;
D O I
10.1093/jigpal/jzy019
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
The aim of this paper is to provide a reduced Routley-Meyer semantics for the logics characterized by all natural implicative expansions of Kleene's strong 3-valued matrix (with two designated values, as well as with only one) susceptible to be interpreted in Routley-Meyer semantics.
引用
收藏
页码:69 / 92
页数:24
相关论文
共 16 条