The LPi and LPi/2 Propositional and Predicate Logics

0404397 - UIVT-O 20020018 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr
The LPi and LPi/2 Propositional and Predicate Logics.
Fuzzy Sets and Systems. Roč. 124, č. 3 (2001), s. 289-302. ISSN 0165-0114. E-ISSN 1872-6801
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * product logic * Lukasiewicz logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.470, rok: 2001

In fuzzy logic three main logics are investigated (Godel,product and Lukasiewicz logic). There are logics LPi and LPi1/2 uniting these three logics. We show an alternative axiomatic system of these logics. In the rest of the paper is to examine properties of the predicate version of these logics. We introduce an axiomatic system and prove the corresponding completeness theorem. At the end we examine Pavelka's style extension of these logics.
Trvalý link: http://hdl.handle.net/11104/0124651