The Simplified Forms of Definition of MV-algebra
WU Hong-bo
Abstract
WU Hong-bo
Abstract
Through study of MV-algebra and the Lukasiewicz propositional calculus system, we have simplified the definition of MV-algebra and investigated the relation among some logic algebras.the main results of the paper are: (1) Two equlvalent simplifies forms of MV-algebra are obtained; (2) The concept of Weak Lattice Implication-Algebra is proposed, and the equivalence between BR_0-algebra and Weak Lattice Implication-Algebra is proved; (3) It is proved that Weak Lattice Implication-Algebra is Regular Fuzzy Implication-Algebra.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Through study of MV-algebra and the Lukasiewicz propositional calculus system, we have simplified the definition of MV-algebra and investigated the relation among some logic algebras.the main results of the paper are: (1) Two equlvalent simplifies forms of MV-algebra are obtained; (2) The concept of Weak Lattice Implication-Algebra is proposed, and the equivalence between BR_0-algebra and Weak Lattice Implication-Algebra is proved; (3) It is proved that Weak Lattice Implication-Algebra is Regular Fuzzy Implication-Algebra.
Key concepts: Mathematics, Algebra over a field, Cellular algebra, Equivalence (formal languages), Lattice (music), Quotient algebra, Filtered algebra, Term algebra