Abstract
The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic.
Similar content being viewed by others
References
Baaz, M.: Infinite-valued Gödel logics with 0-1 projections and relativizations. GÖDEL '96 – Logical Foundations of Mathematics, Computer Sciences and Physics, Lecture Notes in Logic vol. 6, Springer-Verlag 1996, pp. 23–33
Banaschewski. B., Herrlich, H.: Subcategories defined by implications. Houston J. Math. 2, 149–171 (1976)
Bělohlávek, R.: Fuzzy closure operators. J. Math. Anal. Appl. 262, 473–489 (2001)
Bělohlávek, R.: Fuzzy closure operators II. Soft Computing 7 (1), 53–64 (2002)
Bělohlávek, R.: Fuzzy equational logic. Arch. Math. Log. 41, 83–90 (2002)
Bělohlávek, R.: Fuzzy Relational Systems: Foundations and Principles. Kluwer Academic/Plenum Publishers, New York, 2002
Bělohlávek, R.: Birkhoff variety theorem and fuzzy logic. Arch. Math. Log. 42, 781–790 (2003)
Bělohlávek, R., Funioková, T., Vychodil, V.: Fuzzy closure operators with truth stressers (submitted)
Bělohlávek, R., Vychodil, V.: Algebras with fuzzy equalities (submitted)
Bělohlávek, R., Vychodil, V.: Fuzzy Horn logic II: implicationally defined classes (submitted)
Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31, 433–454 (1935)
Bloom, S.L., Wright, J.B.: Finitary quasi varieties. J. Pure and Appl. Algebra 25, 121–154 (1982)
Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Springer-Verlag, New York, 1981
Chang, C.C., Keisler, H.J.: Continuous Model Theory. Princeton University Press, Princeton, NJ, 1966
Chang, C.C., Keisler, H.J.: Model Theory. North–Holland, Amsterdam, 1973
Feynman, R.P., Leighton, R.B., Sands, M.: The Feynman Lectures on Physics. Addison Wesley, Reading, MA, 1963
Fujiwara, T.: On the construction of the least universal Horn class containing a given class. Osaka J. Math. 8, 425–436 (1971)
Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–174 (1967)
Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325–373 (1968–9)
Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press, Baldock, Hertfordshire, England, 2001
Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Computing 2, 124–128 (1998)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998
Hájek, P.: On very true. Fuzzy Sets and Systems 124, 329–333 (2001)
Hájek, P.: Monadic fuzzy predicate logic. Preprint
Höhle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201, 786–826 (1996)
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer, Dordrecht, 2000
Ling, C.H.: Representation of associative functions. Publ. Math. Debrecen 12, 189–212 (1965)
Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117–143 (1957)
Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston, 1999
Palasińska, K., Pigozzi, G.: Gentzen-style axiomatization in equational logic. Algebra Universalis 34, 128–143 (1995)
Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45–52, 119–134, 447–464 (1979)
Selman, A.: Completeness of calculii for axiomatically defined classes of algebras. Algebra Universalis 2, 20–32 (1972)
Takeuti, G., Titani, S.: Globalization of intuitionistic set theory. Annals of Pure and Applied Logic 33, 195–211 (1987)
Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124 (3), 361–370 (2001)
Vychodil, V.: Direct limits and reduced products of algebras with fuzzy equalities (submitted)
Vychodil, V.: Cut and weakening in fuzzy Horn logic (submitted)
Vychodil, V.: Extended fuzzy equational logic (submitted)
Wechler, W.: Universal Algebra for Computer Scientists. Springer-Verlag, Berlin Heidelberg, 1992
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bělohlávek, R., Vychodil, V. Fuzzy Horn logic I. Arch. Math. Logic 45, 3–51 (2006). https://doi.org/10.1007/s00153-005-0287-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0287-x