Poset representation for gödel and nilpotent minimum logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3571 LNAI, Issue , 2005, Pages 662-674

  Aguzzoli, Stefano ^a   Gerla, Brunella ^b   Manara, Corrado ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS;

ALGEBRAIC SEMANTICS; FINITE ALGEBRAS; INFINITE-VALUED LOGICS; MTL;

FORMAL LOGIC;

EID: 26944438658     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11518655_56     Document Type: Conference Paper

References (16)

1. Cignoli, R., Esteva, F., Godo, L., Torrens A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4 (2000) 106-112
2. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge Mathematical Texbooks, Cambridge University Press (1991)
3. Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets ans Systems 124 (2001) 271-288
4. Esteva, F., Godo, L., Hájek, P., Montagna F.: Hoops and fuzzy logic. Journal of Logic and Computation 13 (2003) 531-555
5. Fodor, J.: Nilpotent minimum and related connectives for fuzzy logic. Proc. FUZZ-IEEE'95 (1995) 2077-2082
6. Gerla, B.: A characterization of Gödel functions. Soft Computing 4 (2000) 206-209
7. Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse 69 (1932) 65-66
8. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete mathematics: a foundation for computer science. 2nd edition. Addison-Wesley, Boston San Francisco (1994)
9. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
10. Horn, A.: Logic with Truth Values in a Linearly Ordered Heyting Algebra. Journal of Symbolic Logic 34 (1969) 395-408
11. Horn, A.: Free L-Algebras. Journal of Symbolic Logic 34 (1969) 475-480
12. McNaughton, R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic 16 (1951) 1-13
13. Mundici, D.: Satisfiability in many-valued sentential logic is NP-cornplete. Theoretical Computer Science 52 (1987) 145-153
14. Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences. Published electronically at http://www.research.att.com/~njas/sequences (2004)
15. Wang, S.M., Wang, B.S., Pei, D.W: A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets and Systems, 149 (2005) 297-307
16. Wang, S.M., Wang, B.S., Wang, X.Y.: A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets and Systems 145 (2004) 253-266