Implicational Tonoid Logics: Algebraic and Relational Semantics

被引：0
|
作者：
Eunsuk Yang
J. Michael Dunn
机构：
[1] Rm 417 Center for Humanities & Social Sciences,Department of Philosophy & Institute of Critical Thinking and Writing Jeonbuk National University
[2] School of Informatics,Departments of Philosophy, Computer Science, and Informatics Indiana University
[3] Computing,undefined
[4] and Engineering,undefined
来源：
Logica Universalis | 2021年 / 15卷
关键词：
(Implicational) tonoid logic; Weakly implicative logic; Algebraic semantics; Relational semantics; Gaggle logic; Primary 03A10; Secondary 03B47;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper combines two classes of generalized logics, one of which is the class of weakly implicative logics introduced by Cintula and the other of which is the class of gaggle logics introduced by Dunn. For this purpose we introduce implicational tonoid logics. More precisely, we first define implicational tonoid logics in general and examine their relation to weakly implicative logics. We then provide algebraic semantics for implicational tonoid logics. Finally, we consider relational semantics, called Routley–Meyer–style semantics, for finitary those logics.
引用
收藏
页码：435 / 456
页数：21
相关论文
共 50 条
12345