Stone algebras: 3-valued logic and rough sets

被引：2

作者：

Kumar, Arun ^{[1
]}

Kumari, Shilpi ^{[1
]}

机构：

[1] Banaras Hindu Univ, Inst Sci, Dept Math, Varanasi, Uttar Pradesh, India

来源：

SOFT COMPUTING | 2021年 / 25卷 / 20期

关键词：

Stone algebras; 3-Valued logic; Rough sets; LATTICES;

D O I：

10.1007/s00500-021-06068-7

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this article, we propose 3-valued semantics of the logics compatible with Stone and dual Stone algebras. We show that these logics can be considered as 3-valued by establishing soundness and completeness results. We also establish rough set semantics of these logics where the third value can be interpreted as not certain but possible.

引用

页码：12685 / 12692

页数：8

共 33 条

[1]

[Anonymous], 1957, Acta Mathematica Hungarica Journal

[2]

[Anonymous], 2002, Cambridge Mathematical Textbooks, DOI DOI 10.1017/CBO9780511809088

[3]

[Anonymous], 1995, Stud. Log, DOI [10.1007/BF01061239, DOI 10.1007/BF01061239]

[4]

[Anonymous], 1974, FUND MATH

[5]

Avron A., 2008, Studia Logica, V40, P69

[6]

Balbes R., 1975, Distributive lattices

[7]

Banerjee M., 1997, Fundamenta Informaticae, V31, P213

[8]

Birkhoff G., 1995, LATTICE THEORY, VXXV

[9]

Boicescu V., 1991, Lukasiewicz-Moisil Algebra

[10] STONE LATTICES .2. STRUCTURE THEOREMS [J].

CHEN, CC ;

GRATZER, G .

CANADIAN JOURNAL OF MATHEMATICS, 1969, 21 (04) :895-&

← 1 2 3 4 →