Semi-BCI Algebras
Regivan H.N. Santiago, Benjamin Bedregal, Jo\~ao Marcos, Carlos, Caleiro, Jocivania Pinheiro
TL;DR
This paper introduces semi-BCI algebras, a new algebraic structure derived from BCI algebras through intervalization, and explores their properties and relation to pseudo-BCI algebras.
Contribution
It defines semi-BCI algebras, investigates their properties, and analyzes their relationship with pseudo-BCI algebras and the process of intervalization.
Findings
Semi-BCI algebras generalize BCI-algebras.
Semi-BCI algebras are similar but not identical to pseudo-BCI algebras.
The paper clarifies the relationship between semi-BCI and pseudo-BCI algebras.
Abstract
The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalization" of BCI algebras. Semi-BCI have a similar structure to Pseudo-BCI algebras however they are not the same. In this paper we also provide an investigation on the similarity between these classes of algebras by showing how they relate to the process of intervalization.
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