The purpose of the present article is to extend the scope of some investigations about abstract logics arising quite naturally out of Quasi-MV algebras (for short, qMV algebras) also to \sqrt ' qMV algebras. We will therefore introduce, mutually compare and (in some cases) axiomatise several logics arising out of the variety of \sqrt' qMV algebras and out of some important subclasses of such. Subsequently, we will investigate the same logics by resorting to the methods and techniques of abstract algebraic logic.
Logics from root √' Quasi-MV Algebras
PAOLI, FRANCESCO;LEDDA, ANTONIO;FREYTES, HECTOR CARLOS;GIUNTINI, ROBERTO
2011-01-01
Abstract
The purpose of the present article is to extend the scope of some investigations about abstract logics arising quite naturally out of Quasi-MV algebras (for short, qMV algebras) also to \sqrt ' qMV algebras. We will therefore introduce, mutually compare and (in some cases) axiomatise several logics arising out of the variety of \sqrt' qMV algebras and out of some important subclasses of such. Subsequently, we will investigate the same logics by resorting to the methods and techniques of abstract algebraic logic.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Logics from sqrt quasiMV.pdf
Solo gestori archivio
Tipologia:
versione editoriale (VoR)
Dimensione
703.46 kB
Formato
Adobe PDF
|
703.46 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
