Topic: GENERAL LOGIC
Many-valued Logics Enriched with a Stonean Negation: a Direct Proof of Representation and Completeness
By Martinivaldo Konig
This paper studies Lukasiewicz'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.
Keywords: MV-algebra, Stonean MV-algebra, Stonean negation operator, Chang's subdirect representation, Chang's algebraic completeness.
Appeared in L&PS - Logic and Philosophy of Science: Vol. 1 - No.1 - 2005
Posted by Tony Marmo
at 00:01 GMT
