Semi-normal forms and functional representation of product fuzzy logic

Fuzzy Sets and Systems

Volumn 143, Issue 1, 2004, Pages 89-110

  Cintula, Petr ^a,c   Gerla, Brunella ^b  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^b UNIVERSITY OF SALERNO   (Italy)

^c CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

Functional representation; Fuzzy logic; Normal forms; Product logic

Indexed keywords

ALGORITHMS; FUNCTIONS; INTEGER PROGRAMMING; LINEAR ALGEBRA; LINEAR PROGRAMMING; SEMANTICS; THEOREM PROVING;

FUNCTIONAL REPRESENTATIONS; NORMAL FORMS; PRODUCT LOGIC;

FUZZY SETS;

EID: 1342285537     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2003.06.001     Document Type: Conference Paper

References (10)

1. Cignoli R., Esteva F., Godo L., Torrens A. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput. 2:2000;106-112.
2. Cignoli R., Torrens A. An algebraic analysis of product logic. Multiple-valued Logic. 5:2000;45-65.
3. Cignoli R., Torrens A. Free cancellative hoops. Algebra Univ. 43:2000;213-216.
4. Cintula P. About axiomatic systems of product fuzzy logic. Soft Comput. 5:2001;243-244.
5. B. Gerla, Many-valued logics of continuous t-norms and their functional representation, Ph.D. Thesis, University of Milano, Italy, 2002.
6. Hájek P. Basic fuzzy logic and BL-algebras. Soft Comput. 2:1998;124-128.
7. Hájek P. Metamathematics of Fuzzy Logic, Trends in Logic. 1998;Kluwer Academic Publishers, Dordrecht.
8. Hájek P., Godo L., Esteva F. A complete many-valued logic with product conjunction. Arch. Math. Logic. 35:1996;191-208.
9. McNaughton R. A theorem about infinite-valued sentential logic. J. Symbolic Logic. 16:1951;1-13.
10. Novák V., Perfilieva I., Močkoř J. Mathematical Principles of Fuzzy Logic. 1999;Kluwer Academic Publishers, Boston/Dordrecht/London.