×

On quasi-varieties of multiple valued logic models. (English) Zbl 1241.03028

Author’s abstract: “We extend the concept of quasivariety of first-order models from classical logic to multiple-valued logic (MVL) and study the relationship between quasivarieties and existence of initial models in MVL. We define a concept of ‘Horn sentence’ in MVL and based upon our study of quasivarieties of MVL models we derive the existence of initial models for MVL ‘Horn theories’.”

MSC:

03B50 Many-valued logic
03C05 Equational classes, universal algebra in model theory
08C15 Quasivarieties
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Chang, Model Theory, Studies in Logic and the Foundations of Mathematics (1990)
[2] Cintula, On theories and models in fuzzy predicate logic, J. Symb. Log. 71 (3) pp 832– (2006) · Zbl 1111.03030
[3] Diaconescu, Herbrand theorems in arbitrary institutions, Inf. Process. Lett. 90 pp 29– (2004) · Zbl 1178.68132 · doi:10.1016/j.ipl.2004.01.005
[4] Diaconescu, Institution Independent Model Theory, Studies in Universal Logic (2008) · Zbl 1144.03001
[5] Galatos, Residuated Lattices: An Algebraic Glimpse at Substructural Logics (2007) · Zbl 1171.03001
[6] Gerla, Fuzzy logic programming and fuzzy control, Stud. Log. 79 pp 231– (2005) · Zbl 1079.93031 · doi:10.1007/s11225-005-2977-0
[7] Gödel, Zum intuitionistischen Aussagenkalkül, Anz. Akad. Wiss. Math. Kl. 69 pp 65– (1932) · JFM 58.1001.03
[8] Goguen, Institutions: Abstract model theory for specification and programming, J. ACM 39 (1) pp 95– (1992) · Zbl 0799.68134 · doi:10.1145/147508.147524
[9] Goguen, Initial algebra semantics and continuous algebras, J. ACM 24 (1) pp 68– (1977) · Zbl 0359.68018 · doi:10.1145/321992.321997
[10] Grätzer, Universal Algebra (1979)
[11] Hájek, Metamathematics of Fuzzy Logic, Trends in Logic (1998) · Zbl 0937.03030 · doi:10.1007/978-94-011-5300-3
[12] Hodges, Model Theory, Encyclopedia of Mathematics and its Applications (1993)
[13] Kaphengst, Fundamentals of Computation Theory pp 120– (1977) · doi:10.1007/3-540-08442-8_77
[14] Lloyd, Foundations of Logic Programming (1984) · Zbl 0547.68005 · doi:10.1007/978-3-642-96826-6
[15] Łukasiewicz, Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls, C. R. Séances Soc. Sci. Lett. Vars. Cl. III 23 pp 51– (1930)
[16] Malcev, The Metamathematics of Algebraic Systems, Studies in Logic and the Foundations of Mathematics (1971)
[17] Post, Introduction to a general theory of elementary propositions, Am. J. Math. 43 pp 163– (1921) · JFM 48.1122.01 · doi:10.2307/2370324
[18] Tarlecki, Quasi-varieties in abstract algebraic institutions, J. Comput. Syst. Sci. 33 (3) pp 333– (1986) · Zbl 0622.68033 · doi:10.1016/0022-0000(86)90057-7
[19] Vojtás, Fuzzy logic programming, Fuzzy Sets Syst. 124 pp 361– (2001) · Zbl 1015.68036 · doi:10.1016/S0165-0114(01)00106-3
[20] Ward, Residuated lattices, Trans. Am. Math. Soc. 45 pp 335– (1939) · JFM 65.0084.01 · doi:10.1090/S0002-9947-1939-1501995-3
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.