The LPi and LPi/2 Propositional and Predicate Logics

0404397 - UIVT-O 20020018 RIV NL eng J - Journal Article
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
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * product logic * Lukasiewicz logic
Subject RIV: BA - General Mathematics
Impact factor: 0.470, year: 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.
Permanent Link: http://hdl.handle.net/11104/0124651