Expanding Quasi-MV Algebras by a Quantum Operator |
| |
Authors: | Roberto Giuntini Antonio Ledda Francesco Paoli |
| |
Institution: | (1) Department of Education, University of Cagliari, Cagliari, Italy |
| |
Abstract: | We investigate an expansion of quasi-MV algebras (10]) by a genuine quantum unary operator. The variety of such
quasi-MV algebras has a subquasivariety whose members—called cartesian—can be obtained in an appropriate way out of MV algebras. After showing that cartesian . quasi-MV algebras generate ,we prove a standard completeness theorem for w.r.t. an algebra over the complex numbers.
Presented by Heinrich Wansing |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |