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 条

[1] Linearization of the BCK-logic
García Olmedo F.M.
Rodríguez Salas A.J.
Studia Logica, 2000, 65 (1) : 31 - 51
[2] The cylindric algebras of three-valued logic
Feldman, N
JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (04) : 1201 - 1217
[3] A Three-Valued Fregean Quantification Logic
Minghui Ma
Yuanlei Lin
Journal of Philosophical Logic, 2019, 48 : 409 - 423
[4] Probabilistic inference on three-valued logic
Qi, GL
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 690 - 693
[5] ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
Da Re, Bruno
Szmuc, Damian
Chemla, Emmanuel
Egre, Paul
REVIEW OF SYMBOLIC LOGIC, 2024, 17 (03): : 682 - 704
[6] Three-valued Logics in Modal Logic
Barteld Kooi
Allard Tamminga
Studia Logica, 2013, 101 : 1061 - 1072
[7] A Three-Valued Fregean Quantification Logic
Ma, Minghui
Lin, Yuanlei
JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (02) : 409 - 423
[8] Three-valued Logics in Modal Logic
Kooi, Barteld
Tamminga, Allard
STUDIA LOGICA, 2013, 101 (05) : 1061 - 1072
[9] ON A NEW THREE-VALUED PARACONSISTENT LOGIC
Olkhovikov, Grigory
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (03): : 317 - 334
[10] Three-valued logic and dynamic semantics
Kustner, H
ANALYOMEN 2, VOL I: LOGIC, EPISTEMOLOGY, PHILOSOPHY OF SCIENCE, 1997, 16 : 116 - 123

← 1 2 3 4 5 →