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} }
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).
Topics from this paper
70 Citations
Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages
- Mathematics, Computer Science
- J. Intell. Fuzzy Syst.
- 2016
- 14
Fuzzy Turing machines: Normal form and limitative theorems
- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 2018
- 1
References
SHOWING 1-10 OF 40 REFERENCES
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi
- Mathematics, Computer Science
- Math. Log. Q.
- 1979
- 142