zbMATH — the first resource for mathematics

Ł\(\Pi\) logic with fixed points. (English) Zbl 1179.03031
The paper investigates the extension of a many-valued logic with fixed points. The logic under consideration is Ł\(\Pi\), the most expressive known logic based on a continuous t-norm. The author uses novel methods: the existence of a proper semantics being hinged on the Brouwer Theorem rather than the usual Tarski Theorem. The main results of the paper include “standard completeness” for the introduced logic (\(\mu\)Ł\(\Pi\)) and a categorical equivalence between its linearly ordered algebraic semantics and real closed fields. This equivalence is also extended to the full algebraic semantics of \(\mu\)Ł\(\Pi\) and a class of structures which suitably generalise real closed fields to non-linearly ordered structures.

03B50 Many-valued logic
03B52 Fuzzy logic; logic of vagueness
03G25 Other algebras related to logic
06F25 Ordered rings, algebras, modules
Full Text: DOI
[1] Aho, A.V., Ulmann, J.D.: Universality of data retrieval languages. In: 6th ACM symposium on principles of programming languages, pp. 110–117 (1979)
[2] Bigard, A., Keimel, K., Wolfenstein, S.: Groupes at Anneaux Reticulés. Lectures Notes in Mathematics, vol. 608. Kluwer, Dordrecht (1977) · Zbl 0384.06022
[3] Blok, W.J., Pigozzi, D.: Algebraizable logics. Memoirs of Am. Math. Soc. 396(77) (1989) · Zbl 0664.03042
[4] Beckmann A., Preining N.: Linear Kripke frames and Gödel logic. J. Symbol. Logic 71(1), 26–44 (2007) · Zbl 1118.03016
[5] Cauchy, A.: In: Oevres (2), vol. 9, Chapter Sur la resolution des equations numeriques et sur la theorie de l’elimination, pp. 87–161. Gauthier-Villars, Paris (1891)
[6] Cignoli R., Esteva F., Godo L., Torrens A.: Basic fuzzy logic is the logic of t-norms and their residua. Soft Comput. 4, 106–112 (2000) · Zbl 02181428
[7] Chang C.C.: Algebraic analysis of many valued logic. Trans. Am. Math. Soc 88, 467–490 (1958) · Zbl 0084.00704
[8] Cintula P.: A note on the definition of L{\(\Pi\)} algebras. Soft Comput. 9(8), 575–578 (2005) · Zbl 1086.06008
[9] Dawar A., Gurevich Y.: Fixed points logics. Bull. Symbol. Logic 8, 65–90 (2002) · Zbl 1002.03030
[10] Esteva F., Godo L.: Putting together Łukasiewiczand product logic. Mathw Soft Comput. 6, 219–234 (1999) · Zbl 0953.03030
[11] Esteva F., Godo L., Montagna F.: The L\(\backslash\)Pi and L \({{\mathrm\Pi\frac{1}{2}}}\) logics: two complete fuzzy systems joining Łukasiewiczand product logics. Arch. Math. Logic 40, 39–67 (2001) · Zbl 0966.03022
[12] Flaminio T., Montagna F.: A logical and algebraic treatment of conditional probability. Arch. Math. Logic 44, 245–262 (2005) · Zbl 1064.03016
[13] Galatos N., Ono H.: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over fl. Stud. Logica 83(1–3), 279–308 (2006) · Zbl 1105.03021
[14] Hájek P.: Basic fuzzy logic and BL algebras. Soft Comput. 2, 124–128 (1998)
[15] Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, Studia Logica Library, vol. 4. Kluwer, Berlin (1998) · Zbl 0937.03030
[16] Hájek P., Godo L., Esteva F.: Reasoning about probability in fuzzy logic. Neural Network World 10(5), 811–824 (2000)
[17] Kozen D.: Results on the propositional mu-calculus. Theor. Comp. Sci. 27, 333–354 (1983) · Zbl 0553.03007
[18] Marchioni E., Montagna F.: Complexity and definability issues in Ł \({{\mathrm \Pi\frac{1}{2}}}\) . J. Logic Comput. 17(2), 311–331 (2007) · Zbl 1142.03015
[19] McKenzie R.: On spectra, and the negative solution of the decision problem for identities having a finite nontrivial mode. J. Symbol. Logic 40, 186–196 (1975) · Zbl 0316.02052
[20] McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth and Brooks/Cole, Monterey (1987) · Zbl 0611.08001
[21] Montagna F.: An algebraic approach to propositional fuzzy logic. J. Logic Lang. Inf. 9, 91–124 (2000) · Zbl 0942.06006
[22] Montagna F.: Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Ann. Pure Appl. Logic 149(1–2), 148–179 (2006) · Zbl 1094.03011
[23] Moschovakis Y.N.: Elementary Induction on Abstract Structures. North Holland, Amsterdam (1974) · Zbl 0307.02003
[24] Montagna F., Sacchetti L.: Kripke-style semantics for many-valued logics. Math. Logic Quart. 49(6), 629–641 (2003) · Zbl 1035.03010
[25] Montagna F., Spada L.: Continuous approximations of MV-algebras with product and product residuation. Soft Comput. 9/3, 149–154 (2005) · Zbl 1086.06009
[26] Mundici D.: If-then-else and rule extraction from two sets of rules. J. Symbol. Logic 59(2), 596–602 (1994) · Zbl 0807.03012
[27] Mundici D.: Tensor product and the Loomis Sikorski theorem for MV algebras. Adv. Appl. Math. 22, 227–248 (1999) · Zbl 0926.06004
[28] Tarski A.: A lattice-theoretical fixed point theorem and its applications. Pac. J. Math. 5, 285–309 (1955) · Zbl 0064.26004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.