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 条

[21] A Three-Valued Semantics for Typed Logic Programming
Barbosa, Joao
Florido, Mario
Costa, Vitor Santos
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
[22] Erotetic Search Scenarios and Three-Valued Logic
Dorota Leszczyńska-Jasion
Paweł Łupkowski
Journal of Logic, Language and Information, 2016, 25 : 51 - 76
[23] A three-valued temporal logic for future contingents
Akama, Seiki
Nagata, Yasunori
Yamada, Chikatoshi
LOGIQUE ET ANALYSE, 2007, (198) : 99 - 111
[24] Three-valued logic, indeterminacy and quantum mechanics
Bigal, T
JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (02) : 97 - 119
[25] Glivenko like theorems in natural expansions of BCK-logic
Cignoli, R
Torrell, AT
MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (02) : 111 - 125
[26] Translation from Three-Valued Quantum Logic to Modal Logic
Takagi, Tsubasa
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2021, 60 (01) : 366 - 377
[27] Translation from Three-Valued Quantum Logic to Modal Logic
Tsubasa Takagi
International Journal of Theoretical Physics, 2021, 60 : 366 - 377
[28] Rough Set Logic for Kleene's Three-valued Logic
Nakayama, Yotaro
Akama, Seiki
Murai, Tetsuya
2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 43 - 47
[29] Formal axiomatic theories based on a three-valued logic
Zaslavsky I.D.
Journal of Mathematical Sciences, 2005, 130 (2) : 4578 - 4597
[30] Incidence calculus on Lukasiewicz's three-valued logic
Qi, GL
Milligan, P
Sage, P
FUNDAMENTA INFORMATICAE, 2005, 68 (04) : 357 - 378

← 1 2 3 4 5 →