Extension of Lukasiewicz Logic by Product Connective

0405046 - UIVT-O 20030187 RIV DE eng C - Conference Paper (international conference)
Horčík, R. - Cintula, Petr
Extension of Lukasiewicz Logic by Product Connective.
Fuzzy Sets and Systems - IFSA 2003. Berlin: SpringerVerlag, 2003 - (Bilgic, T.; De Baets, B.; Kaynak, O.), s. 180-188. Lecture Notes in Artificial Intelligence, 2715. ISBN 3-540-40383-3. ISSN 0302-9743.
[IFSA 2003. International Fuzzy Systems Association World Congress /10./. Istanbul (TR), 30.06.2003-02.07.2003]
R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics

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.
Permanent Link: http://hdl.handle.net/11104/0125266