Quotient structures of BCK/BCI-algebras induced by quasi-valuation maps (Q2305839): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q57702507, #quickstatements; #temporary_batch_1711234560214 |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: On axiom systems of propositional calculi, XIV / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An algebra related with a propositional calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3872458 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4165379 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Quasi-Valuation Maps on BCK/BCI-Algebras / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4396499 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4864483 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Fuzzy anti-grouped filters and fuzzy normal filters in pseudo-BCI algebras / rank | |||
Normal rank | |||
Latest revision as of 02:03, 22 July 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
