Buscar recursos académicos

For each n∈N, we introduce the algebraic semantics for the minimum many-valued modal logic over the MV-chain with n elements. We prove that this quasivariety of algebras is generated by the complex algebras, obtaining ...