The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Deductive systems of BCK-algebras”

Annihilators in BCK-algebras

Radomír Halaš (2003)

Czechoslovak Mathematical Journal

Similarity:

We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra 𝒜 . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice 𝒟 ( A ) of all deductive systems on 𝒜 . Moreover, relative annihilators of C ∈ 𝒟 ( A ) with respect to B ∈ 𝒟 ( A ) are introduced and serve as relative pseudocomplements of C w.r.t. B in 𝒟 ( A ) .

Modal Pseudocomplemented De Morgan Algebras

Aldo V. Figallo, Nora Oliva, Alicia Ziliani (2014)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Modal pseudocomplemented De Morgan algebras (or m p M -algebras for short) are investigated in this paper. This new equational class of algebras was introduced by A. V. Figallo and P. Landini ([Figallo, A. V., Landini, P.: Notes on 4 -valued modal algebras Preprints del Instituto de Ciencias Básicas, Univ. Nac. de San Juan 1 (1990), 28–37.]) and they constitute a proper subvariety of the variety of all pseudocomplemented De Morgan algebras satisfying x ∧ ( ∼ x ) * = ( ∼ ( x ∧ ( ∼ x ) * ) ) * . Firstly, a topological duality for these...

Triple Constructions of Decomposable MS-Algebras

Abd El-Mohsen Badawy, Daniela Guffová, Miroslav Haviar (2012)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

A simple triple construction of principal MS-algebras is given which is parallel to the construction of principal p -algebras from principal triples presented by the third author in [Haviar, M.: Construction and affine completeness of principal p-algebras Tatra Mountains Math. 5 (1995), 217–228.]. It is shown that there exists a one-to-one correspondence between principal MS-algebras and principal MS-triples. Further, a triple construction of a class of decomposable MS-algebras that includes...