Sciweavers

AML
2002

Fuzzy logic, continuity and effectiveness

13 years 4 months ago
Fuzzy logic, continuity and effectiveness
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).
Loredana Biacino, Giangiacomo Gerla
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2002
Where AML
Authors Loredana Biacino, Giangiacomo Gerla
Comments (0)