Fuzzy Horn logic II

&
Archive for Mathematical Logic 45 (2):149-177 (2006)
  Copy   BIBTEX

Abstract

The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions

Categories

Keywords

Reprint years

DOI

10.1007/s00153-005-0303-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Fuzzy Horn logic II.R. B.? Lohl├ Ívek & V. M. Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149.
Fuzzy Horn logic II.Radim Lohlavek & Vilem Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-178.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.
The Essentially Equational Theory of Horn Classes.Hans-E. Porst - 2000 - Mathematical Logic Quarterly 46 (2):233-240.
Implicational (semilinear) logics I: a new hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.
Fuzzy Horn logic I.Radim Lohlavek & Vilem Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-52.
Birkhoff variety theorem and fuzzy logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.
Cut and Weakening in Fuzzy Horn Logic.Vilém Vychodil - 2005 - Logic Journal of the IGPL 13 (5):599-609.

Analytics

Added to PP
2013-12-01

Downloads
46 (#106,786)

6 months
14 (#987,135)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.

Add more citations

References found in this work

The logic of inexact concepts.J. A. Goguen - 1969 - Synthese 19 (3-4):325-373.
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):447-464.
Globalization of intui tionistic set theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (C):195-211.
Fuzzy equational logic.Radim Bělohlávek - 2002 - Archive for Mathematical Logic 41 (1):83-90.

View all 6 references / Add more references