Zobrazeno 1 - 10
of 546
pro vyhledávání: '"bck-algebra"'
Autor:
Andrzej Walendziak
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 345-364 (2024)
In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin’s Positive I
Externí odkaz:
https://doaj.org/article/16a3ad94d35f455597248616233f5229
Autor:
Andrzej Walendziak
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 497-515 (2023)
GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebras verifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of t
Externí odkaz:
https://doaj.org/article/ccb3fb3a9a534b419c3d2a9b0d8097f2
Autor:
Mohammad Hamidi
Publikováno v:
Neutrosophic Sets and Systems, Vol 53, Pp 580-588 (2023)
BCK-algebras are algebraic structures in universal algebra such that are based on logical axioms and have some applications. This paper introduces the concept of super hyper BCK-algebras as a generalization of BCK-algebras and investigates some prope
Externí odkaz:
https://doaj.org/article/89189e9499a048cfa5c5ff205a4e6b35
Autor:
Afrodita Iorgulescu
Publikováno v:
Transactions on Fuzzy Sets and Systems, Vol 1, Iss 1, Pp 1-41 (2022)
Orthomodular lattices generalize the Boolean algebras; they have arisen in the study of quantum logic. Quantum-MV algebras were introduced as non-lattice theoretic generalizations of MV algebras and as non-idempotent generalizati
Externí odkaz:
https://doaj.org/article/e8e3eba2797e4279bfa89577089b3e00
Autor:
Andrzej Walendziak
Publikováno v:
Annales Universitatis Paedagogicae Cracoviensis: Studia Mathematica, Vol 21, Pp 93-116 (2022)
The class of pseudo-M algebras contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI algebras and many other algebras of logic. In this paper, the notion of deductive system in a pseudo-M algebra is introduced and its elementary propertie
Externí odkaz:
https://doaj.org/article/0ff6094cf46a4a92afd110c77c8a9d9c
Publikováno v:
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, Vol 30, Iss 1, Pp 247-269 (2022)
In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It is indicated that the axioms of a Sheffer stroke BCK-algebra are independent. The relationship between a Sheffer stroke BCK-algebra and a BCK-algebra is stated
Externí odkaz:
https://doaj.org/article/8c71f23a4bb24c4390a1800277a31e6d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.