Logics from root √' Quasi-MV Algebras

PAOLI, FRANCESCO;LEDDA, ANTONIO;Spinks M;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.