Extension of Lukasiewicz Logic by Product Connective

0405046 - UIVT-O 20030187 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika

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.
Trvalý link: http://hdl.handle.net/11104/0125266