Number of the records: 1

Product Lukasiewicz Logic

SYSNO ASEP	0105219
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Product Lukasiewicz Logic
Title	Produkt-Lukasiewiczova logika
Author(s)	Horčík, Rostislav (UIVT-O)_{SAI, RID} Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Source Title	Archive for Mathematical Logic. - : Springer - ISSN 0933-5846 Roč. 43, - (2004), s. 477-503
Number of pages	17 s.
Language	eng - English
Country	DE - Germany
Keywords	fuzzy logic ; many-valued logic ; Lukasiewicz logic ; Lpi logic ; Takeuti-Titani logic ; MV-algebras ; product MV-algebras
Subject RIV	BA - General Mathematics
R&D Projects	IAA1030004 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	GA201/02/1540 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z1030915 - UIVT-O
UT WOS	000221344800005
EID SCOPUS	2642532203
DOI	10.1007/s00153-004-0214-6
Annotation	Among all many-valued logics the Lukasiewicz logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lukasiewicz logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. Finally, the predicate version of PL logic is introduced and developed.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2005

Number of the records: 1