Fuzzy logic, continuity and effectiveness

Archive for Mathematical Logic 41 (7):643-667 (2002)
  Copy   BIBTEX

Abstract

It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbert style. Moreover, it is proven that any truth-functional semantics whose connectives are interpreted in [0,1] by continuous functions is axiomatizable by a fuzzy deduction system (but not by an effective fuzzy deduction system, in general)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,764

External links

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

Through your library

Similar books and articles

Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.
Fuzzy Galois connections on fuzzy posets.Wei Yao & Ling-Xia Lu - 2009 - Mathematical Logic Quarterly 55 (1):105-112.
A type of fuzzy ring.Hacı Aktaş & Naim Çağman - 2007 - Archive for Mathematical Logic 46 (3-4):165-177.
Fuzzy closure systems on L-ordered sets.Lankun Guo, Guo-Qiang Zhang & Qingguo Li - 2011 - Mathematical Logic Quarterly 57 (3):281-291.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Approximate Similarities and Poincaré Paradox.Giangiacomo Gerla - 2008 - Notre Dame Journal of Formal Logic 49 (2):203-226.
Graded consequence relations and fuzzy closure operator.Giangiacomo Gerla - 1996 - Journal of Applied Non-Classical Logics 6 (4):369-379.
Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.
Birkhoff variety theorem and fuzzy logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.
Connecting bilattice theory with multivalued logic.Daniele Genito & Giangiacomo Gerla - 2014 - Logic and Logical Philosophy 23 (1):15-45.

Analytics

Added to PP
2013-11-23

Downloads
22 (#600,570)

6 months
2 (#652,396)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.
Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).

Add more citations