Logics from √ Quasi-MV Algebras

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 √ qMV algebras. We will therefore introduce, mutually compare and (in some cases) axiomatise several logics arising out of the variety of √ 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.