Results 61 to 70 of about 164,918 (192)
Downstream Control on the Stability of River Bifurcations
Journal of Geophysical Research: Earth Surface, Volume 129, Issue 10, October 2024.Abstract River bifurcations are prevalent features in both gravel‐bed and sand‐bed fluvial systems, including braiding networks, anabranches and deltas. Therefore, gaining insight into their morphological evolution is important to understand the impact they have on the adjoining environment.
Lorenzo Durante +3 more
wiley +1 more source
Engel, Nilpotent and Solvable BCI-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper, we define the concepts of Engel, nilpotent and solvable BCI-algebras and investigate some of their properties. Specially, we prove that any BCK-algebra is a 2-Engel.
Mohammadzadeh Elahe, Borzooei Rajab Ali
doaj +1 more source
HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS
Demonstratio Mathematica, 1996 The leading motivation for BCK-algebras comes from algebraic logic: a BCK-algebra \({\mathbf A}= \langle A; \cdot, 0\rangle\) is the algebraic counterpart of a purely implicational calculus in which \(0\) corresponds to truth, \(x\cdot y\) is interpreted as \(y\to x\) and \(x\cdot y= 0\) as \(\lvdash y\to x\).
Raftery, J. G., Sturm, T.
openaire +2 more sources
BCK‐Algebras and Related Algebraic Systems [PDF]
International Journal of Mathematics and Mathematical Sciences, 2011 1 Department of Mathematics Education, Gyeongsang National University, Chinju 660-701, Republic of Korea 2 Department of Algebra and Geometry, Faculty of Sciences, Palacky University (UP), 771 47 Olomouc, Czech Republic 3 Department of Mathematics, Hanyang University, Seoul 133-791, Republic of Korea 4 Department of Mathematics Education, Chinju ...
Young Bae Jun +5 more
openaire +2 more sources
Quasi-valuation maps based on positive implicative ideals in BCK-algebras
, 2018 The notion of PI-quasi-valuation maps of a BCK-algebra is introduced, and related properties are investigated. The relationship between an I-quasi-valuation map and a PI-quasivaluation map is examined.
Young Bae Jun +2 more
core +2 more sources
An ordered structure of pseudo-{\rm BCI}-algebras [PDF]
Mathematica Bohemica, 2016 In Chajda's paper (2014), to an arbitrary BCI-algebra the author assigned an ordered structure with one binary operation which possesses certain antitone mappings.
Ivan Chajda, Helmut Länger
doaj +1 more source
BMBJ-neutrosophic subalgebra in BCI/BCK-algebras [PDF]
Neutrosophic Sets and Systems, 2019 For the first time Smarandache introduced neutrosophic sets which can be used as a mathematical tool for dealing with indeterminate and inconsistent information.
H. Bordbar +3 more
doaj +1 more source
Factor congruences in BCK-algebras
Soft Computing, 2008 In the paper under review, the authors present a general characterization of factor congruences in BCK-algebras, and use this description to determine whether a free algebra for a quasi-variety of BCK-algebras can be decomposed directly or not. In case it is decomposable, the authors determine its factors.
Abad, Manuel +1 more
openaire +3 more sources
, 2023 BCK-sequences and n-commutative BCK-algebras were introduced by T. Traczyk, together with two related problems. The first one, whether BCK-sequences are always prolongable.
Zelent, Denis
core +1 more source
, 2011 A normal pseudo-BCK-algebra \(X\) is an algebra in which every subalgebra of \(X\) is an ideal of \(X\).
Dymek, Grzegorz
core +1 more source