Fuzzy logic, continuity and effectiveness

Archive for Mathematical Logic

Volumn 41, Issue 7, 2002, Pages 643-667

  Biacino, Loredana ^a   Gerla, Giangiacomo ^b  

^a Dipto di Matematica e Applicazioni   (Italy)

^b Dipto di Matematica e Informatica   (Italy)

Author keywords

Continuous closure operators; Fuzzy deduction system; Recursively enumerable fuzzy subsets

Indexed keywords

EID: 0035981350     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530100128     Document Type: Article

References (29)

1. Achinger, J., Jankowski, A.W.: On decidable Consequence Operators, Studia Logica, 45, 415-424 (1986)
2. Biacino, L., Gerla, G.: Recursively enumerable L-sets, Zeitschr. f. math. Logik und Grundlagen d. Math., 33, 107-113 (1987)
3. Biacino, L., Gerla, G.: Decidability and recursive enumerability for fuzzy subsets, in: Bouchon, B., Saitta, L., Yager, R.R. (eds), Uncertainty and Intelligent Systems, Lectures Notes in Computer Science (Springer-Verlag) Berlin, 55-62 (1988)
4. Biacino, L., Gerla, G.: Decidability, recursive enumerability and Kleene hierarchy for L-subsets, Zeitschr. f. math. Logik und Grundlagen d. Math., 35, 49-62 (1989)
5. Biacino, L., Gerla, G.: Fuzzy subsets: a constructive approach, Fuzzy Sets and Systems, 45, 161-168 (1992)
6. Biacino, L., Gerla, G.: Generated necessities and possibilities, Internat. J. of Intell. Systems, 7, 445-454 (1992)
7. Biacino, L., Gerla, G.: An extension principle for closure operators, J. of Math. Anal. Appl., 198, 1-24 (1996)
8. Biacino, L., Gerla, G.: Logics with approximate premises, International J. of Intell. Syst., 13, 1-10 (1998)
9. Biacino, L., Gerla, G.: Closure Operators in Fuzzy Set Theory, in Fuzzy Sets in Approximate Reasoning and Information Systems, Edited by J. C. Bezdek, D. Dubois, H. Prade, Kluwer Ac. Publ., 243-278 (1999)
10. Birkhoff, G., Frink, O.: Representations of lattices by sets, Trans. Amer. Math. Soc., 64, 299-316 (1948)
11. Gerla, G.: Fuzzy logic: Mathematical Tools for Approximate Reasoning, (Kluwer Ac. Publ., (2001))
12. Goguen, J.A.: The logic of inexact concepts, Synthese, 19, 325-373 (1968/69)
13. Grätzer, G.: Universal Algebra, (D. Van Nostrand Company, Toronto (1968))
14. Hájek, P.: On logics of approximate reasoning, Neural Network Word, 6, 733-744 (1993)
15. Hájek, P.: Fuzzy logic and arithmetical hierarchy, Fuzzy Sets and Systems, 3, 359-363 (1995)
16. Hájek, P.: Metamathematics of Fuzzy Logic, (Kluwer Ac. Publ. (1998))
17. X, Fuzzy Sets and systems, 41, 101-111 (1991)
18. Pavelka, J.: On fuzzy logic I: Many-valued roles of inference, Zeitschr. f. math. Logik und Gruudlagen d. Math., 25, 45-52 (1979)
19. Pavelka, J.: On fuzzy logic II: Enriched residuated lattices and semantics of propositional calculi, Zeitschr. f. math. Logik und Grundlagen d. Math., 25, 119-134 (1979)
20. Pavelka, J.: On fuzzy logic III: Semantical completeness of some many-valued propositional calculi, Zeitschr. f. math. Logik und Grundlagen d. Math., 25, 447-464 (1979)
21. Rogers, H.: Theory of Recursive Functions and Effective Computability, (McGraw-Hill, New York (1967))
22. Tarski, A.: Logic, semantics and metamathematics, (Clarendon Pres, Oxford (1956))
23. Wechler, W.: Universal Algebra for Computer Scientists, Springer 1992
24. Wójcicki, R.: Theory of Logical Calculi: Basic Theory of Consequence Operations, (Kluwer Ac. Publ., Dordrecht (1988))
25. Zadeh, L.A.: Fuzzy Sets, Information and Control, 12, 338-353 (1965)
26. Zadeh, L.A.: Fuzzy algorithms, Information and Control, 5, 94-102 (1968)
27. Zadeh, L.A.: Fuzzy logic and approximate reasoning, Synthese, 30, 407-428 (1968)
28. Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning I, II, III, Inf. Sci. 8, 199-275, 301-357 (1975); 9, 43-80
29. Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning I, II, III, Inf. Sci. 8, 199-275, 301-357 (1975); 9, 43-80