Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps (Q2305839): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q57702507, #quickstatements; #temporary_batch_1711234560214 |
||
| (One intermediate revision by one other user not shown) | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.3390/axioms7020026 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2801023632 / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q57702507 / rank | |||
Normal rank | |||
Latest revision as of 01:40, 24 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps |
scientific article |
Statements
Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps (English)
0 references
20 March 2020
0 references
Summary: Relations between \(I\)-quasi-valuation maps and ideals in BCK/BCI-algebras are investigated. Using the notion of an \(I\)-quasi-valuation map of a BCK/BCI-algebra, the quasi-metric space is induced, and several properties are investigated. Relations between the \(I\)-quasi-valuation map and the \(I\)-valuation map are considered, and conditions for an \(I\)-quasi-valuation map to be an \(I\)-valuation map are provided. A congruence relation is introduced by using the \(I\)-valuation map, and then the quotient structures are established and related properties are investigated. Isomorphic quotient BCK/BCI-algebras are discussed.
0 references
ideal
0 references
\(I\)-quasi-valuation map
0 references
\(I\)-valuation map
0 references
quasi-metric
0 references
