Algebraization of the three-valued BCK-logic

被引：0

作者：

Olmedo, FMG ^{[1
]}

Salas, AJR ^{[1
]}

机构：

[1] Univ Granada, Dept Algebra, E-18071 Granada, Spain

来源：

MATHEMATICAL LOGIC QUARTERLY | 2002年 / 48卷 / 02期

关键词：

algebraization of BCK-logics; three-valued BCK-logic; varieties of BCK-algebras;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V-3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the "Three-valued BCK-logic". As a consequence we find an axiomatic definition of the above system.

引用

页码：163 / 178

页数：16

共 50 条

[31] A THREE-VALUED MODAL TENSE LOGIC FOR THE MASTER ARGUMENT
Akama, Seiki
Murai, Tetsuya
Miyamoto, Sadaaki
LOGIQUE ET ANALYSE, 2011, (213) : 19 - 30
[32] A completeness theorem for three-valued temporal predicate logic
Chirita, Carmen
ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2008, 35 : 41 - 53
[33] Logic Programs under Three-Valued Lukasiewicz Semantics
Hoelldobler, Steffen
Ramli, Carroline Dewi Puspa Kencana
LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
[34] Three-valued and four-valued approach to logic programming with negation
Ying, Ming-sheng
Liu, Fu-chun
Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83
[35] Kleene's three-valued logic and process algebra
Bergstra, JA
Ponse, A
INFORMATION PROCESSING LETTERS, 1998, 67 (02) : 95 - 103
[36] Basic positively closed classes in three-valued logic
Marchenkov, Sergey S.
Chernyshev, Anatoliy V.
DISCRETE MATHEMATICS AND APPLICATIONS, 2018, 28 (03): : 157 - 165
[37] A three-valued characterization for strong equivalence of logic programs
Cabalar, P
EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 106 - 111
[38] LOGICAL RELATIONS BETWEEN CONDITIONALS AND THREE-VALUED LOGIC
Belikov, Alexander A.
VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2023, 71 : 5 - 12
[39] On Prior's three-valued modal logic Q
Akama, S
Nagata, Y
35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 14 - 19
[40] Three-valued temporal logic Qt and future contingents
Akama S.
Nagata Y.
Yamada C.
Studia Logica, 2008, 88 (2) : 215 - 231

← 1 2 3 4 5 →