论文信息 - Pavelka-style completeness in expansions of Łukasiewicz logic

Pavelka-style completeness in expansions of Łukasiewicz logic

An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Łukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard MV-algebra on the real segment [0, 1] is an injective MV-algebra. In particular the logics associated with MV-algebras with product and with divisible MV-algebras are considered.

Hector Freytes | H. Freytes

[1] Beloslav Riečan,et al. Probability on MV algebras , 1997 .

[2] E. Trillas,et al. in Fuzzy Logic , 2002 .

[3] D. Mundici,et al. Algebraic Foundations of Many-Valued Reasoning , 1999 .

[4] U. Höhle. Commutative, residuated 1—monoids , 1995 .

[5] Petr Cintula,et al. Product Ł ukasiewicz Logic , 2004, Arch. Math. Log..

[6] H. Freytes. Injectives in residuated algebras , 2004, 0806.4946.

[7] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.

[8] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[9] Franco Montagna,et al. An Algebraic Approach to Propositional Fuzzy Logic , 2000, J. Log. Lang. Inf..

[10] Jan Pavelka,et al. On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi , 1979, Math. Log. Q..

[11] Ulrich Höhle,et al. Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[12] Brunella Gerla,et al. Many-valued Logics of Continuous t-norms and Their Functional Representation , 2001 .

[13] Franco Montagna,et al. The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics , 2001, Arch. Math. Log..

[14] W. Blok,et al. On the structure of hoops , 2000 .

[15] Ventura Verdú,et al. Lukasiewicz logic and Wajsberg algebras , 1990 .

[16] Endre Pap,et al. Handbook of measure theory , 2002 .