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 条

[41] An implementation of tautological analysis of some three-valued logic
Rogulski, Daniel
Wesserling, Janusz
Mulawka, Jan
PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2015, 2015, 9662
[42] SQL's Three-Valued Logic and Certain Answers
Libkin, Leonid
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2016, 41 (01):
[43] A three-valued logic approach to partially known formal concepts
She, Yanhong
Wang, Wei
He, Xiaoli
Du, Yan
Liu, Yaoyao
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2019, 37 (02) : 3053 - 3064
[44] Complexity of Functions from Some Classes of Three-Valued Logic
Dagaev, D. A.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2011, 66 (03) : 133 - 135
[45] Completeness criterion for the enumeration closure operator in three-valued logic
Marchenkov, Sergey S.
DISCRETE MATHEMATICS AND APPLICATIONS, 2020, 30 (01): : 1 - 6
[46] Three-valued quasi-linear transformation for logic synthesis
Besslich, PW
Trachtenberg, EA
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1996, 143 (06): : 391 - 400
[47] Towards an Algebraic Topos Semantics for Three-valued Godel Logic
Aguzzoli, Stefano
Codara, Pietro
IEEE CIS INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS 2021 (FUZZ-IEEE), 2021,
[48] Closed Classes Generated by Symmetric Functions in the Three-Valued Logic
Mikhailovich, A. V.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2008, 63 (04) : 168 - 170
[49] Some criteria of decidability for axiomatic systems in three-valued logic
Zaslavsky, I. D.
LOGIC, LANGUAGE, AND COMPUTATION, 2007, 4363 : 247 - 259
[50] On Axiom Systems of Supecki for the Functionally Complete Three-Valued Logic
Radzki, Mateusz M.
AXIOMATHES, 2017, 27 (04): : 403 - 415

← 1 2 3 4 5 →