On implication in MV-algebras (Q873745)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On implication in MV-algebras |
scientific article; zbMATH DE number 5139584
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On implication in MV-algebras |
scientific article; zbMATH DE number 5139584 |
Statements
On implication in MV-algebras (English)
0 references
2 April 2007
0 references
The author observes that weak implication algebras are just the duals of commutative BCK-algebras. Thus most of the results of \textit{I. Chajda, R. Halas} and \textit{J. Kühr} [``Implication in MV-algeras'', Algebra Univers. 52, 377--382 (2004; Zbl 1097.06011)] follow immediately from the facts that a bounded commutative BCK-algebra possesses a natural upper semilattice structure and that the class of MV-algebras is definitionally equivalent to the class of bounded commutative BCK-algebras.
0 references
commutative BCK-algebra
0 references
implication algebra
0 references
MV-algebra
0 references
upper semilattice
0 references
