Many-valued Logics Enriched with a Stonean Negation: a Direct Proof of Representation and Completeness
Martinvaldo Konig · 2005
This paper studies Eukasiewicz's many-valued logic enriched with a new operator: the Stonean negation. This research focuses on the class of algebras containing the algebraic counterpart of this new logic: the class of Stonean MV-algebras. A direct proof of subdirect representation Theorem is given, as well as an algebraic completeness Theorem.