Annihilators in BCK-algebras

Radomír Halaš

Displaying similar documents to “Annihilators in BCK-algebras”

On a Construction of ModularGMS-algebras

Abd El-Mohsen Badawy (2015)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

In this paper we investigate the class of all modular GMS-algebras which contains the class of MS-algebras. We construct modular GMS-algebras from the variety ${\underset{̲}{𝐊}}_{2}$ by means of ${\underset{̲}{K}}_{2}$ -quadruples. We also characterize isomorphisms of these algebras by means of ${\underset{̲}{K}}_{2}$ -quadruples.

Generalized Post algebras and their application to some infinitary many-valued logics

Cat-Ho Nguyen

Similarity:

CONTENTSIntroduction............................................................................................................................................................................... 5Part I. A generalization of Post algebras............................................................................................................................. 7 1. Definition and characterization of generalized Post algebras............................................. 7 2. Post...

A note on normal varieties of monounary algebras

Ivan Chajda, Helmut Länger (2002)

Czechoslovak Mathematical Journal

Similarity:

A variety is called normal if no laws of the form $s = t$ are valid in it where $s$ is a variable and $t$ is not a variable. Let $L$ denote the lattice of all varieties of monounary algebras $(A, f)$ and let $V$ be a non-trivial non-normal element of $L$ . Then $V$ is of the form $M o d (f^{n} (x) = x)$ with some $n > 0$ . It is shown that the smallest normal variety containing $V$ is contained in $H S C (M o d (f^{m n} (x) = x))$ for every $m > 1$ where $C$ denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of $L$ consisting of all normal...

Standardly stratified split and lower triangular algebras

Eduardo do N. Marcos, Hector A. Merklen, Corina Sáenz (2002)

Colloquium Mathematicae

Similarity:

In the first part, we study algebras A such that A = R ⨿ I, where R is a subalgebra and I a two-sided nilpotent ideal. Under certain conditions on I, we show that A is standardly stratified if and only if R is standardly stratified. Next, for $A = [\begin{matrix} U & 0 \\ M & V \end{matrix}]$ , we show that A is standardly stratified if and only if the algebra R = U × V is standardly stratified and $_{V} M$ is a good V-module.

A geometric approach to full Colombeau algebras

R. Steinbauer (2010)

Banach Center Publications

Similarity:

We present a geometric approach to diffeomorphism invariant full Colombeau algebras which allows a particularly clear view of the construction of the intrinsically defined algebra $\hat{} (M)$ on the manifold M given in [gksv].

Schwartz kernel theorem in algebras of generalized functions

Vincent Valmorin (2010)

Banach Center Publications

Similarity:

A new approach to the generalization of Schwartz’s kernel theorem to Colombeau algebras of generalized functions is given. It is based on linear maps from algebras of classical functions to algebras of generalized ones. In particular, this approach enables one to give a meaning to certain hypotheses in preceding similar work on this theorem. Results based on the properties of $G^{\infty}$ -generalized functions class are given. A straightforward relationship between the classical and the generalized...

Diamond identities for relative congruences

Gábor Czédli (1995)

Archivum Mathematicum

Similarity:

For a class $K$ of structures and $A \in K$ let ${C o n}^{*} (A)$ resp. ${C o n}^{K} (A)$ denote the lattices of $*$ -congruences resp. $K$ -congruences of $A$ , cf. Weaver [25]. Let ${C o n}^{*} (K) : = I {{C o n}^{*} (A) : A \in K}$ where $I$ is the operator of forming isomorphic copies, and ${C o n}^{r} (K) : = I {{C o n}^{K} (A) : A \in K}$ . For an ordered algebra $A$ the lattice of order congruences of $A$ is denoted by ${C o n}^{<} (A)$ , and let ${C o n}^{<} (K) : = I {{C o n}^{<} (A) : A \in K}$ if $K$ is a class of ordered algebras. The operators of forming subdirect squares and direct products are denoted by $Q^{s}$ and $P$ , respectively. Let $λ$ be a lattice identity and let $Σ$ be a set of lattice identities....

Metric generalizations of Banach algebras

W. Żelazko

Similarity:

CONTENTSPRELIMINARIES§ 0. Introduction.......................................................................................................................................................................3§ 1. Definitions and notation.................................................................................................................................................5Chapter ILOCALLY BOUNDED ALGEBRAS§ 2. Basic facts and examples..............................................................................................................................................6§...