×

Pseudovarieties of algebras with fuzzy equalities. (English) Zbl 1335.08003

Summary: We establish analogy of the Eilenberg-Schützenberger pseudovariety theorem in the setting of algebras with fuzzy equalities and Pavelka-style semantics using complete residuated lattices as structures of truth degrees. We show that under the assumption of countable reconstructibility, classes of finite algebras with fuzzy equalities closed under formations of subalgebras, homomorphic images, and finite direct products, are classes of finite algebras with fuzzy equalities which satisfy all but finitely many identities taken from fuzzy sets of identities which serve as graded equational theories. We also show that the assumption of countable reconstructibility is satisfied by model classes if one uses complete residuated lattices based on left-continuous triangular norms as structures of truth degrees.

MSC:

08A72 Fuzzy algebraic structures
03B52 Fuzzy logic; logic of vagueness
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Belohlavek, Radim, Fuzzy equational logic, Arch. Math. Log., 41, 1, 83-90 (2002) · Zbl 1026.03016
[2] Belohlavek, Radim, Fuzzy Relational Systems: Foundations and Principles (2002), Kluwer Academic Publishers: Kluwer Academic Publishers Norwell, MA, USA · Zbl 1067.03059
[3] Belohlavek, Radim, Birkhoff variety theorem and fuzzy logic, Arch. Math. Log., 42, 8, 781-790 (2003) · Zbl 1040.03018
[4] Belohlavek, Radim; Vychodil, Vilem, Fuzzy Equational Logic, Studies in Fuzziness and Soft Computing, vol. 186 (2005), Springer · Zbl 1083.03030
[5] Belohlavek, Radim; Vychodil, Vilem, Algebras with fuzzy equalities, Fuzzy Sets Syst., 157, 2, 161-201 (2006) · Zbl 1087.08005
[6] Belohlavek, Radim; Vychodil, Vilem, Fuzzy Horn logic I, Arch. Math. Log., 45, 1, 3-51 (2006) · Zbl 1095.03014
[7] Belohlavek, Radim; Vychodil, Vilem, Fuzzy Horn logic II, Arch. Math. Log., 45, 2, 149-177 (2006) · Zbl 1099.03016
[8] Belohlavek, Radim; Vychodil, Vilem, Query systems in similarity-based databases: logical foundations, expressive power, and completeness, (Shin, Sung Y.; Ossowski, Sascha; Schumacher, Michael; Palakal, Mathew J.; Hung, Chih-Cheng, SAC (2010), ACM), 1648-1655 · Zbl 1180.15026
[9] Birkhoff, Garrett, On the structure of abstract algebras, Proc. Camb. Philol. Soc., 31, 433-454 (1935) · Zbl 0013.00105
[10] Bradić, M.; Madarász, R., Construction of finite L-groups, Fuzzy Sets Syst., 247, 151-164 (2014) · Zbl 1334.08003
[11] Burris, Stanley; Sankappanavar, H. P., A Course in Universal Algebra (1981), Springer-Verlag: Springer-Verlag New York · Zbl 0478.08001
[12] Cintula, Petr; Hájek, Petr, Triangular norm based predicate fuzzy logics, Fuzzy Sets Syst., 161, 3, 311-346 (2010) · Zbl 1200.03020
[13] (Cintula, Petr; Hájek, Petr; Noguera, Carles, Handbook of Mathematical Fuzzy Logic, Volume 1. Handbook of Mathematical Fuzzy Logic, Volume 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37 (2011), College Publications) · Zbl 1283.03001
[14] (Cintula, Petr; Hájek, Petr; Noguera, Carles, Handbook of Mathematical Fuzzy Logic, Volume 2. Handbook of Mathematical Fuzzy Logic, Volume 2, Studies in Logic, Mathematical Logic and Foundations, vol. 38 (2011), College Publications) · Zbl 1283.03001
[15] Date, Christopher J.; Darwen, Hugh, Databases, Types, and The Relational Model: The Third Manifesto (2006), Addison-Wesley
[16] Pilar Dellunde, Revisiting ultraproducts in fuzzy predicate logics, J. Mult.-Valued Log. Soft Comput., 19, 95-108 (2012) · Zbl 1393.03020
[17] Eilenberg, Samuel; Schützenberger, M. P., On pseudovarieties, Adv. Math., 19, 3, 413-418 (1976) · Zbl 0351.20035
[18] Esteva, Francesc; Godo, Lluís, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets Syst., 124, 3, 271-288 (2001) · Zbl 0994.03017
[19] Gerla, Giangiacomo, Fuzzy Logic. Mathematical Tools for Approximate Reasoning (2001), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht, The Netherlands · Zbl 0976.03026
[20] Goguen, Joseph A., The logic of inexact concepts, Synthese, 19, 325-373 (1979) · Zbl 0184.00903
[21] Gottwald, Siegfried, Mathematical fuzzy logics, Bull. Symb. Log., 14, 2, 210-239 (2008) · Zbl 1144.03023
[22] Grimaldi, Ralph, Discrete and Combinatorial Mathematics (1993), Addison-Wesley · Zbl 0801.05009
[23] Hájek, Petr, Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht, The Netherlands · Zbl 0937.03030
[25] Ignjatović, Jelena; Ćirić, Miroslav; Bogdanović, Stojan; Petković, Tatjana, Myhill-Nerode type theory for fuzzy languages and automata, Fuzzy Sets Syst., 161, 9, 1288-1324 (2010) · Zbl 1202.68261
[26] Klement, Erich Peter; Mesiar, Radko; Pap, Endre, Triangular Norms (2000), Springer · Zbl 0972.03002
[27] Lee, E. T.; Zadeh, Lotfi A., Note on fuzzy languages, (Klir, George J.; Yuan, Bo, Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems (1996), World Scientific Publishing Co., Inc.: World Scientific Publishing Co., Inc. River Edge, NJ, USA), 69-82
[28] Mordeson, John N.; Malik, Davender S., Fuzzy Automata and Languages: Theory and Applications (2002), Chapman and Hall/CRC · Zbl 1046.68068
[29] Pavelka, Jan, On fuzzy logic I: many-valued rules of inference, Math. Log. Q., 25, 3-6, 45-52 (1979) · Zbl 0435.03020
[30] Pavelka, Jan, On fuzzy logic II: enriched residuated lattices and semantics of propositional calculi, Math. Log. Q., 25, 7-12, 119-134 (1979) · Zbl 0446.03015
[31] Pavelka, Jan, On fuzzy logic III: semantical completeness of some many-valued propositional calculi, Math. Log. Q., 25, 25-29, 447-464 (1979) · Zbl 0446.03016
[32] Santos, Eugene S., Maximin automata, Inf. Control, 13, 4, 363-377 (1968) · Zbl 0174.03601
[33] Stamenković, Aleksandar; Ćirić, Miroslav, Construction of fuzzy automata from fuzzy regular expressions, Fuzzy Sets Syst., 199, 0, 1-27 (2012) · Zbl 1253.68209
[34] Vychodil, Vilem, A note on congruence permutability and fuzzy logic, Soft Comput., 10, 3, 279-284 (2006) · Zbl 1084.08003
[35] Wechler, Wolfgang; Dimitrov, Vladimir, R-fuzzy automata, (IFIP Congress (1974)), 657-660 · Zbl 0302.94024
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.