On complete residuated many-valued logics with t-norm conjunction

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2001, Pages 81-86

  Esteva, F ^a   Godo, L ^a  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; BOOLEAN ALGEBRA; LINEAR SYSTEMS;

LOGICAL SYSTEMS;

FUZZY SETS;

EID: 0034832910     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Basic fuzzy logic is the logic of continuous t-norms and their residua
2. An algebraic analysis of product logic
3. About axiomatic system of the product fuzzy logic
4. Equational characterization of all varieties of MV-algebras
5. A propositional calculus with denumerable matrix
6. Monoidal t-norm based Logic: Towards a logic for left continuous t-norms
7. Residuated fuzzy logics with an involutive negation
8. Linear logic
9. A treatise on many-valued logics
10. On a new axiomatization for involutive monoidal t-norm based logic
11. Algebraic analysis of Lukasiewicz-Tarski's n-valued logical systems
12. Metamathematics of fuzzy logic
13. Basic fuzzy logic and BL algebras
14. A complete many-valued logic with product conjunction
15. Commutative, residuated l-monoids
16. Standard algebras for fuzzy propositional calculus
17. Structure of girard monoids on [0,1]
18. Super-lukasiewicz propositional logic
19. On fuzzy logic I, II, III
20. Fragments of many-valued statement calculi
21. Fuzzy logic