A bottom-up investigation of algebraic structures corresponding to many valued logical systems is made. Particular attention is given to the unit interval as a prototypical model of these kind of structures. At the top level of our construction, Heyting Wajsberg algebras are defined and studied. The peculiarity of this algebra is the presence of two implications as primitive operators. This characteristic is helpful in the study of abstract rough approximations.
Cattaneo, G., Ciucci, D., Giuntini, R., Konig, M. (2004). Algebraic structures related to many valued logical systems. Part I: Heyting Wajsberg algebras. FUNDAMENTA INFORMATICAE, 63(4), 331-355.
Algebraic structures related to many valued logical systems. Part I: Heyting Wajsberg algebras
CATTANEO, GIANPIERO;CIUCCI, DAVIDE ELIO;
2004
Abstract
A bottom-up investigation of algebraic structures corresponding to many valued logical systems is made. Particular attention is given to the unit interval as a prototypical model of these kind of structures. At the top level of our construction, Heyting Wajsberg algebras are defined and studied. The peculiarity of this algebra is the presence of two implications as primitive operators. This characteristic is helpful in the study of abstract rough approximations.
| File | Dimensione | Formato | |
|---|---|---|---|
|
fi63a.pdf
accesso aperto
Dimensione
211.99 kB
Formato
Adobe PDF
|
211.99 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
