Several algebraic structures (namely HW, BZMV(dM), Stonean MV and MV Delta algebras) related to many valued logical systems are considered and their equivalence is proved. Four propositional calculi whose Lindenbaum-Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given.
Cattaneo, G., Ciucci, D., Giuntini, R., Konig, M. (2004). Algebraic structures related to many valued logical systems. Part II: Equivalence among some widespread structures. FUNDAMENTA INFORMATICAE, 63(4), 357-373.
Algebraic structures related to many valued logical systems. Part II: Equivalence among some widespread structures
CATTANEO, GIANPIERO;CIUCCI, DAVIDE ELIO;
2004
Abstract
Several algebraic structures (namely HW, BZMV(dM), Stonean MV and MV Delta algebras) related to many valued logical systems are considered and their equivalence is proved. Four propositional calculi whose Lindenbaum-Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
fi63b.pdf
accesso aperto
Dimensione
171.8 kB
Formato
Adobe PDF
|
171.8 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
