Skip to main content
Log in

Fuzzy Horn logic I

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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

  2. Banaschewski. B., Herrlich, H.: Subcategories defined by implications. Houston J. Math. 2, 149–171 (1976)

    MATH  MathSciNet  Google Scholar 

  3. Bělohlávek, R.: Fuzzy closure operators. J. Math. Anal. Appl. 262, 473–489 (2001)

    MathSciNet  MATH  Google Scholar 

  4. Bělohlávek, R.: Fuzzy closure operators II. Soft Computing 7 (1), 53–64 (2002)

    Google Scholar 

  5. Bělohlávek, R.: Fuzzy equational logic. Arch. Math. Log. 41, 83–90 (2002)

    MATH  Google Scholar 

  6. Bělohlávek, R.: Fuzzy Relational Systems: Foundations and Principles. Kluwer Academic/Plenum Publishers, New York, 2002

  7. Bělohlávek, R.: Birkhoff variety theorem and fuzzy logic. Arch. Math. Log. 42, 781–790 (2003)

    MATH  Google Scholar 

  8. Bělohlávek, R., Funioková, T., Vychodil, V.: Fuzzy closure operators with truth stressers (submitted)

  9. Bělohlávek, R., Vychodil, V.: Algebras with fuzzy equalities (submitted)

  10. Bělohlávek, R., Vychodil, V.: Fuzzy Horn logic II: implicationally defined classes (submitted)

  11. Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31, 433–454 (1935)

    Article  MATH  Google Scholar 

  12. Bloom, S.L., Wright, J.B.: Finitary quasi varieties. J. Pure and Appl. Algebra 25, 121–154 (1982)

    MATH  MathSciNet  Google Scholar 

  13. Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Springer-Verlag, New York, 1981

  14. Chang, C.C., Keisler, H.J.: Continuous Model Theory. Princeton University Press, Princeton, NJ, 1966

  15. Chang, C.C., Keisler, H.J.: Model Theory. North–Holland, Amsterdam, 1973

  16. Feynman, R.P., Leighton, R.B., Sands, M.: The Feynman Lectures on Physics. Addison Wesley, Reading, MA, 1963

  17. Fujiwara, T.: On the construction of the least universal Horn class containing a given class. Osaka J. Math. 8, 425–436 (1971)

    MATH  MathSciNet  Google Scholar 

  18. Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145–174 (1967)

    Article  MATH  MathSciNet  Google Scholar 

  19. Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325–373 (1968–9)

    Google Scholar 

  20. Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press, Baldock, Hertfordshire, England, 2001

  21. Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Computing 2, 124–128 (1998)

    Google Scholar 

  22. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998

  23. Hájek, P.: On very true. Fuzzy Sets and Systems 124, 329–333 (2001)

    MATH  MathSciNet  Google Scholar 

  24. Hájek, P.: Monadic fuzzy predicate logic. Preprint

  25. Höhle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201, 786–826 (1996)

    MATH  MathSciNet  Google Scholar 

  26. Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer, Dordrecht, 2000

  27. Ling, C.H.: Representation of associative functions. Publ. Math. Debrecen 12, 189–212 (1965)

    MathSciNet  Google Scholar 

  28. Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117–143 (1957)

    MATH  MathSciNet  Google Scholar 

  29. Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston, 1999

  30. Palasińska, K., Pigozzi, G.: Gentzen-style axiomatization in equational logic. Algebra Universalis 34, 128–143 (1995)

    MathSciNet  MATH  Google Scholar 

  31. Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45–52, 119–134, 447–464 (1979)

    MATH  MathSciNet  Google Scholar 

  32. Selman, A.: Completeness of calculii for axiomatically defined classes of algebras. Algebra Universalis 2, 20–32 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  33. Takeuti, G., Titani, S.: Globalization of intuitionistic set theory. Annals of Pure and Applied Logic 33, 195–211 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  34. Vojtáš, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124 (3), 361–370 (2001)

    Google Scholar 

  35. Vychodil, V.: Direct limits and reduced products of algebras with fuzzy equalities (submitted)

  36. Vychodil, V.: Cut and weakening in fuzzy Horn logic (submitted)

  37. Vychodil, V.: Extended fuzzy equational logic (submitted)

  38. Wechler, W.: Universal Algebra for Computer Scientists. Springer-Verlag, Berlin Heidelberg, 1992

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Radim Bělohlávek.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-005-0287-x

Key words or phrases

Navigation