Quasi-orthomodular posets and weak BCK-algebras. (Q466880): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
A \textit{weak BCK-algebra} (wBCK-algebra for short) is an algebra \((A,-,0)\), where \(A\) is a poset with \(0\) the least element, and \(-\) a total binary operation on \(A\) (called subtraction) satisfying the following axioms: (1) \(x\leq y\) iff \(x-y=0\), and (2) if \(x-y\leq z\), then \(x-z\leq y\). This notion generalizes BCK-algebra. The author is studying orthomodular-type posets (quasi-orthomodular ones, etc.), semilattices, nearlattices and lattices, and compares with each other and with wBCK-algebras. | |||
Property / review text: A \textit{weak BCK-algebra} (wBCK-algebra for short) is an algebra \((A,-,0)\), where \(A\) is a poset with \(0\) the least element, and \(-\) a total binary operation on \(A\) (called subtraction) satisfying the following axioms: (1) \(x\leq y\) iff \(x-y=0\), and (2) if \(x-y\leq z\), then \(x-z\leq y\). This notion generalizes BCK-algebra. The author is studying orthomodular-type posets (quasi-orthomodular ones, etc.), semilattices, nearlattices and lattices, and compares with each other and with wBCK-algebras. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Anatolij Dvurečenskij / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06C15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06A12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G12 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6363133 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized orthoalgebras | |||
Property / zbMATH Keywords: generalized orthoalgebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized orthomodular lattices | |||
Property / zbMATH Keywords: generalized orthomodular lattices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized orthomodular posets | |||
Property / zbMATH Keywords: generalized orthomodular posets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nearlattices | |||
Property / zbMATH Keywords: nearlattices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasiorthomodular posets | |||
Property / zbMATH Keywords: quasiorthomodular posets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
relatively orthocomplemented posets | |||
Property / zbMATH Keywords: relatively orthocomplemented posets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sectionally orthocomplemented posets | |||
Property / zbMATH Keywords: sectionally orthocomplemented posets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak BCK-algebras | |||
Property / zbMATH Keywords: weak BCK-algebras / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11083-013-9309-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2063022715 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orthoimplication algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3222894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5488133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributivity of bounded lattices with sectionally antitone involutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iimplication algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orthomodular semilattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The axioms for implication in orthologic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded lattices with antitone involutions and properties of MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5422517 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4660204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An implication in orthologic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5696168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5293965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orthomodular implication algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple axioms for orthomodular implication algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5450583 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Congruence kernels of orthomodular implication algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nearlattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3100246 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalizations of Implication Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4415492 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4466655 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On implications in sectionally pseudocomplemented posets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2998596 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3010690 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On JP-semilattices of Begum and Noor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Further Remarks on an Order for Quantum Observables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On some classes of commutative weak BCK-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2762622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Dimension Theory of Certain Cardinal Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5611791 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4399900 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3421454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5692878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On systems of congruences on principal filters of orthomodular implication algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relatively orthomodular lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4261768 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantifier theory on quasi-orthomodular lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5555716 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5567901 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5623714 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4007189 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on the order for quantum observables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean orthoposets---concreteness and orthocompleteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3855183 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:26, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasi-orthomodular posets and weak BCK-algebras. |
scientific article |
Statements
Quasi-orthomodular posets and weak BCK-algebras. (English)
0 references
31 October 2014
0 references
A \textit{weak BCK-algebra} (wBCK-algebra for short) is an algebra \((A,-,0)\), where \(A\) is a poset with \(0\) the least element, and \(-\) a total binary operation on \(A\) (called subtraction) satisfying the following axioms: (1) \(x\leq y\) iff \(x-y=0\), and (2) if \(x-y\leq z\), then \(x-z\leq y\). This notion generalizes BCK-algebra. The author is studying orthomodular-type posets (quasi-orthomodular ones, etc.), semilattices, nearlattices and lattices, and compares with each other and with wBCK-algebras.
0 references
generalized orthoalgebras
0 references
generalized orthomodular lattices
0 references
generalized orthomodular posets
0 references
nearlattices
0 references
quasiorthomodular posets
0 references
relatively orthocomplemented posets
0 references
sectionally orthocomplemented posets
0 references
weak BCK-algebras
0 references