Algebras of Lukasiewicz's logic and their semiring reducts

被引：0

作者：

Di Nola, A ^{[1
]}

Gerla, B ^{[1
]}

机构：

[1] Univ Salerno, Soft Comp Lab, Dept Math & Informat, I-84081 Baronissi, SA, Italy

来源：

IDEMPOTENT MATHEMATICS AND MATHEMATICAL PHYSICS | 2005年 / 377卷

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In this paper we shall establish some links between the algebras of Lukasiewicz logic (MV-algebras) and the semirings. The relationship of these algebraic structures gives a hint on how to construct linear algebra starting from MV-algebras. Indeed here the role of sum and product is played respectively by a lattice operation and by an arithmetical operation. In this way, following the tradition of semirings, it makes full sense to consider "many-valued automata" and "many-valued formal languages" interpreted in Lukasiewicz logic.

引用

页码：131 / 144

页数：14

共 50 条

[1] On Neat Reducts of Algebras of Logic
Tarek Sayed Ahmed
Istvan Németi
Studia Logica, 2001, 68 (2) : 229 - 262
[2] Boolean algebras with an automorphism group: a framework for Lukasiewicz logic
Vetterlein, Thomas
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2008, 14 (1-2) : 51 - 67
[3] Dynamic Lukasiewicz Logic and Dynamic MV-algebras
Di Nola, Antonio
Grigolia, Revaz
Vitale, Gaetano
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2020, 124 : 103 - 110
[4] Derivations on algebras of a non-commutative generalization of the Lukasiewicz logic
Rachunek, Jiri
Salounova, Dana
FUZZY SETS AND SYSTEMS, 2018, 333 : 11 - 16
[5] Duality, projectivity, and unification in Lukasiewicz logic and MV-algebras
Marra, Vincenzo
Spada, Luca
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (03) : 192 - 210
[6] Implicit operations in MV-algebras and the connectives of Lukasiewicz logic
Caicedo, Xavier
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS: PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4460 : 50 - 68
[7] μMV-algebras:: An approach to fixed points in Lukasiewicz logic
Spada, Luca
FUZZY SETS AND SYSTEMS, 2008, 159 (10) : 1260 - 1267
[8] The algebras of Lukasiewicz many-valued logic: A historical overview
Cignoli, Roberto
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS: PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4460 : 69 - 83
[9] A determination principle for algebras of n-valued Lukasiewicz logic
Leustean, Ioana
JOURNAL OF ALGEBRA, 2008, 320 (10) : 3694 - 3719
[10] On White's Expansion of Lukasiewicz Logic
Hajek, Petr
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 389 - 397

← 1 2 3 4 5 →