Some remarks regarding finite bounded commutative BCK-algebras
Cristina Flaut, Sarka Hoskova-Mayerova, Radu Vasile
TL;DR
This paper presents new examples of finite bounded commutative BCK-algebras using Wajsberg algebras, offering an alternative to Iseki's construction that preserves certain algebraic properties.
Contribution
It introduces a novel method for constructing finite bounded commutative BCK-algebras via Wajsberg algebras, avoiding property loss in Iseki's extension.
Findings
Constructed new finite bounded commutative BCK-algebras
Demonstrated advantages of Wajsberg algebra approach over Iseki's method
Provided examples illustrating the method's effectiveness
Abstract
In this chapter, starting from some results obtained in the papers [FV; 19], [FHSV; 19], we provide some examples of finite bounded commutative BCK- algebras, using the Wajsberg algebra associated to a bounded commutative BCK- algebra. This method is an alternative to the Iseki's construction, since by Iseki's extension some properties of the obtained algebras are lost.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Fuzzy and Soft Set Theory · Logic, Reasoning, and Knowledge