Fuzzy logic, continuity and effectiveness

@article{Biacino2002FuzzyLC,
  title={Fuzzy logic, continuity and effectiveness},
  author={L. Biacino and Giangiacomo Gerla},
  journal={Archive for Mathematical Logic},
  year={2002},
  volume={41},
  pages={643-667}
}
  • L. Biacino, Giangiacomo Gerla
  • Published 2002
  • Computer Science, Mathematics
  • Archive for Mathematical Logic
  • 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). 
    70 Citations

    Topics from this paper

    Effectiveness and multivalued logics
    • 37
    Church Thesis for fuzzy logic
    Chapter 15 FUZZY REASONING
    • PDF
    Multi-valued Logics, Effectiveness and Domains
    • 3
    Comments on some theories of fuzzy computation
    • 4
    Fuzzy Turing machines: Normal form and limitative theorems
    • 1
    Giangiacomo Gerla VAGUENESS AND FORMAL FUZZY LOGIC : Some criticisms
    The Continuous Logic
    • Highly Influenced
    On the computing power of fuzzy Turing machines
    • 28
    • PDF

    References

    SHOWING 1-10 OF 40 REFERENCES
    Closure Operators in Fuzzy Set Theory
    • 8
    Fuzzy logic and arithmetical hierarchy
    • 95
    Fuzzy subsets: a constructive approach
    • 11
    Metamathematics of Fuzzy Logic
    • P. Hájek
    • Computer Science, Mathematics
    • Trends in Logic
    • 1998
    • 3,531
    Logics with approximate premises
    • 17
    Logics with approximate premises
    • 7
    On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi
    • J. Pavelka
    • Mathematics, Computer Science
    • Math. Log. Q.
    • 1979
    • 142
    Fuzzy logic and approximate reasoning
    • L. Zadeh
    • Mathematics, Computer Science
    • Synthese
    • 2004
    • 928
    Fuzzy Logic: Mathematical Tools for Approximate Reasoning
    • 224
    On decidable consequence operators
    • 2