In this paper we deal with the expressive power of some logics based on residuated left-continuous t-norms. We investigate the class of truth functions for Nilpotent Minimum, Gödel and NMG logics counting the number of different elements and describing normal forms which generalize the classical Boolean sum of minterms and product of maxterms. It turns out that the logics considered in the paper have much greater expressive power than Boolean propositional logic, while the complexity of their normal forms remains almost as manageable as Boolean normal forms.
Comparing the expressive power of some fuzzy logics based on residuated t-norms / S. Aguzzoli, B. Gerla - In: Fuzzy Systems, 2006 IEEE International Conference on[s.l] : IEEE, 2006. - ISBN 0780394895. - pp. 2012-2019 (( convegno International Conference on Fuzzy Systems tenutosi a Vancouver nel 2006.
Comparing the expressive power of some fuzzy logics based on residuated t-norms
S. Aguzzoli;
2006
Abstract
In this paper we deal with the expressive power of some logics based on residuated left-continuous t-norms. We investigate the class of truth functions for Nilpotent Minimum, Gödel and NMG logics counting the number of different elements and describing normal forms which generalize the classical Boolean sum of minterms and product of maxterms. It turns out that the logics considered in the paper have much greater expressive power than Boolean propositional logic, while the complexity of their normal forms remains almost as manageable as Boolean normal forms.File | Dimensione | Formato | |
---|---|---|---|
FUZZ2006.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
277.43 kB
Formato
Adobe PDF
|
277.43 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.