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 条

[41] Lukasiewicz Public Announcement Logic
Cabrer, Leonardo
Rivieccio, Umberto
Oscar Rodriguez, Ricardo
INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2016, PT II, 2016, 611 : 108 - 122
[42] Incidence calculus on Lukasiewicz's three-valued logic
Qi, GL
Milligan, P
Sage, P
FUNDAMENTA INFORMATICAE, 2005, 68 (04) : 357 - 378
[43] On complete representations of reducts of polyadic algebras
Sayed Ahmed T.
Studia Logica, 2008, 89 (3) : 325 - 332
[44] SOCIAL CHOICE AND LUKASIEWICZ LOGIC
OVCHINNIKOV, S
FUZZY SETS AND SYSTEMS, 1991, 43 (03) : 275 - 289
[45] On Metric Temporal Lukasiewicz Logic
Flaminio, Tommaso
Tiezzi, Elisa B. P.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 246 (71-85) : 71 - 85
[46] DUALITIES FOR SOME DEMORGAN ALGEBRAS WITH OPERATORS AND LUKASIEWICZ ALGEBRAS
CIGNOLI, R
DEGALLEGO, MS
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1983, 34 (JUN): : 377 - 393
[47] Filters of implication reducts of basic algebras
Ivan Chajda
Soft Computing, 2014, 18 : 849 - 852
[48] Consequence and Interpolation in Lukasiewicz Logic
Mundici, Daniele
STUDIA LOGICA, 2011, 99 (1-3) : 269 - 278
[49] Finite axiomatizability in Lukasiewicz logic
Mundici, Daniele
ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1035 - 1047
[50] ON AXIOMATIZATION OF LUKASIEWICZ'S FOUR-VALUED MODAL LOGIC
Tkaczyk, Marcin
LOGIC AND LOGICAL PHILOSOPHY, 2011, 20 (03) : 215 - 232

← 1 2 3 4 5 →