Fuzzy class theory

Fuzzy Sets and Systems

Volumn 154, Issue 1, 2005, Pages 34-55

  Běhounek, Libor ^a   Cintula, Petr ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

logic; Formal fuzzy logic; Foundations of fuzzy mathematics; Fuzzy set; Fuzzy type theory; Higher order fuzzy logic; Multi sorted fuzzy logic

Indexed keywords

COMPUTER SCIENCE; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; SEMANTICS;

FORMAL FUZZY LOGIC; FOUNDATIONS OF FUZZY MATHEMATICS; FUZZY TYPE THEORY; HIGHER-ORDER FUZZY LOGIC; MULTI-SORTED FUZZY LOGIC;

FUZZY SETS;

EID: 19044381575     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2004.12.010     Document Type: Article

References (17)

1. L. Běhounek, P. Cintula, From fuzzy logic to fuzzy mathematics: a methodological manifesto, Fuzzy Sets and Systems (2004) submitted for publication.
2. U. Bodenhofer A similarity-based generalization of fuzzy orderings preserving the classical axioms Internat. J. Uncertainty, Fuzziness and Knowledge-Based Systems 8 5 2000 593 610
3. E.W. Chapin Jr. Set-valued set theory Part one Notre Dame J. Formal Logic 15 4 1974 619 634
4. E.W. Chapin Jr. Set-valued set theory Part two Notre Dame J. Formal Logic 16 2 1975 255 267
5. P. Cintula The Ł Π and Ł Π 1 2 propositional and predicate logics Fuzzy Sets and Systems 124 3 2001 21 34
6. P. Cintula Advances in the Ł Π and Ł Π 1 2 logics Arch. Math. Logic 42 5 2003 449 468
7. P. Cintula, Weakly implicative (fuzzy) logics, Technical Report 912, Institute of Computer Science, Czech Academy of Sciences, 2004.
8. F. Esteva, L. Godo, and F. Montagna The Ł Π and Ł Π 1 2 logics Two complete fuzzy systems joining Łukasiewicz and product logics Arch. Math. Logic 40 1 2001 39 67
9. S. Gottwald Fuzzy Sets and Fuzzy Logic Foundations of Application - from a Mathematical Point of View 1993 Vieweg Wiesbaden
10. P. Hájek, Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4, Kluwer, Dordrecht, 1998.
11. P. Hájek, Zuzana Haniková, A development of set theory in fuzzy logic, in: M. Fitting, E. Orlowska (eds.), Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing, vol. 114, Physica-Verlag, Heidelberg, 2003, pp. 273-285.
12. U. Höhle Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic Fuzzy Sets and Systems 24 3 1987 263 278
13. F. Montagna, and G. Panti Adding structure to MV-algebras J. Pure and Appl. Algebra 164 3 2001 365 387
14. V. Novák On fuzzy type theory Fuzzy Sets and Systems 149 2004 235 273
15. G. Takeuti, and S. Titani Fuzzy logic and fuzzy set theory Arch. Math. Logic 32 1992 1 32
16. R.B. White The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz J. Philos. Logic 8 1979 509 534
17. L.A. Zadeh Fuzzy sets Inform. Control 8 3 1965 338 353