An investigation on the $n$-fold IVRL-filters in triangle algebras

Saeide Zahiri; Arsham Borumand Saeid

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

Displaying similar documents to “An investigation on the $n$ -fold IVRL-filters in triangle algebras”

Relative co-annihilators in lattice equality algebras

Sogol Niazian, Mona Aaly Kologani, Rajab Ali Borzooei (2024)

Mathematica Bohemica

Similarity:

We introduce the notion of relative co-annihilator in lattice equality algebras and investigate some important properties of it. Then, we obtain some interesting relations among $\lor$ -irreducible filters, positive implicative filters, prime filters and relative co-annihilators. Given a lattice equality algebra $𝔼$ and $𝔽$ a filter of $𝔼$ , we define the set of all $𝔽$ -involutive filters of $𝔼$ and show that by defining some operations on it, it makes a BL-algebra.

$G$ -supplemented property in the lattices

Shahabaddin Ebrahimi Atani (2022)

Mathematica Bohemica

Similarity:

Let $L$ be a lattice with the greatest element $1$ . Following the concept of generalized small subfilter, we define $g$ -supplemented filters and investigate the basic properties and possible structures of these filters.

Some properties of state filters in state residuated lattices

Michiro Kondo (2021)

Mathematica Bohemica

Similarity:

We consider properties of state filters of state residuated lattices and prove that for every state filter $F$ of a state residuated lattice $X$ : (1) $F$ ...

On generalized Beurling’s theorem and symmetry of $L_{1}$ -group algebras

Zenobia Anusiak (1971)

Colloquium Mathematicae

Similarity:

A representation theorem for tense $n \times m$ -valued Łukasiewicz-Moisil algebras

Aldo Victorio Figallo, Gustavo Pelaitay (2015)

Mathematica Bohemica

Similarity:

In 2000, Figallo and Sanza introduced $n \times m$ -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of $n$ -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class $_{n \times m}$ of tense $n \times m$ -valued Łukasiewicz-Moisil algebras (or tense LM $_{n \times m}$ -algebras), namely $n \times m$ -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense...

Transfer of derived equivalences from subalgebras to endomorphism algebras II

Shengyong Pan, Jiahui Yu (2024)

Czechoslovak Mathematical Journal

Similarity:

We investigate derived equivalences between subalgebras of some $Φ$ -Auslander-Yoneda algebras from a class of $n$ -angles in weakly $n$ -angulated categories. The derived equivalences are obtained by transferring subalgebras induced by $n$ -angles to endomorphism algebras induced by approximation sequences. Then we extend our constructions in T. Brüstle, S. Y. Pan (2016) to $n$ -angle cases. Finally, we give an explicit example to illustrate our result.

Singularity categories of skewed-gentle algebras

Xinhong Chen, Ming Lu (2015)

Colloquium Mathematicae

Similarity:

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let $(Q^{s g}, I^{s g})$ and $(Q^{g}, I^{g})$ be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra $K Q^{s g} / ⟨ I^{s g} ⟩$ is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of $K Q^{g} / ⟨ I^{g} ⟩$ . As a corollary, we find that $g l d i m K Q^{s g} / ⟨ I^{s g} ⟩ < \infty$ if and only if $g l d i m K Q / ⟨ I ⟩ < \infty$ if and only if $g l d i m K Q^{g} / ⟨ I^{g} ⟩ < \infty$ .

Matrix representation of finite effect algebras

Grzegorz Bińczak, Joanna Kaleta, Andrzej Zembrzuski (2023)

Kybernetika

Similarity:

In this paper we present representation of finite effect algebras by matrices. For each non-trivial finite effect algebra $E$ we construct set of matrices $M (E)$ in such a way that effect algebras $E_{1}$ and $E_{2}$ are isomorphic if and only if $M (E_{1}) = M (E_{2})$ . The paper also contains the full list of matrices representing all nontrivial finite effect algebras of cardinality at most $8$ .

$P_{λ}$ -sets and skeletal mappings

Aleksander Błaszczyk, Anna Brzeska (2013)

Colloquium Mathematicae

Similarity:

We prove that if the topology on the set Seq of all finite sequences of natural numbers is determined by $P_{λ}$ -filters and λ ≤ , then Seq is a $P_{λ}$ -set in its Čech-Stone compactification. This improves some results of Simon and of Juhász and Szymański. As a corollary we obtain a generalization of a result of Burke concerning skeletal maps and we partially answer a question of his.

Trivialization of $𝒞 (X)$ -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose $A$ is a separable unital $𝒞 (X)$ -algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_{1}$ -injective $C^{*}$ -algebra $𝒟$ . We show that $A$ and $𝒞 (X) \otimes 𝒟$ are isomorphic as $𝒞 (X)$ -algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

A generalization of a formalized theory of fields of sets on non-classical logics

Helena Rasiowa

Similarity:

Contents Introduction.................................................................................................................................................. 3 § 1. System $𝒮$ of a propositional calculus...................................................................... 4 § 2. System $𝒮 *$ ..................................................................................................................... 5 § 3. $𝒮 *$ -algebras.....................................................................................................................

The moduli space of commutative algebras of finite rank

Bjorn Poonen (2008)

Journal of the European Mathematical Society

Similarity:

The moduli space of rank- $n$ commutative algebras equipped with an ordered basis is an affine scheme $𝔅_{n}$ of finite type over $ℤ$ , with geometrically connected fibers. It is smooth if and only if $n \leq 3$ . It is reducible if $n \geq 8$ (and the converse holds, at least if we remove the fibers above $2$ and $3$ ). The relative dimension of $𝔅_{n}$ is $\frac{2}{27} n^{3} + O (n^{8 / 3})$ . The subscheme parameterizing étale algebras is isomorphic to ${GL}_{n} / S_{n}$ , which is of dimension only $n^{2}$ . For $n \geq 8$ , there exist algebras that are not limits of étale algebras. The dimension...

Congruences and homomorphisms on $Ω$ -algebras

Elijah Eghosa Edeghagba, Branimir Šešelja, Andreja Tepavčević (2017)

Kybernetika

Similarity:

The topic of the paper are $Ω$ -algebras, where $Ω$ is a complete lattice. In this research we deal with congruences and homomorphisms. An $Ω$ -algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an $Ω$ -valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce $Ω$ -valued congruences, corresponding quotient $Ω$ -algebras and $Ω$ -homomorphisms and we investigate connections among these notions....

The $ℒ_{n}^{m}$ -propositional calculus

Carlos Gallardo, Alicia Ziliani (2015)

Mathematica Bohemica

Similarity:

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the $ℒ_{n}^{m}$ -propositional calculus, denoted by $ℓ_{n}^{m}$ , is introduced in terms of the binary connectives $\to$ (implication), $↠$ (standard implication), $\land$ (conjunction), $\lor$ (disjunction) and the unary ones $f$ (negation) and $D_{i}$ , $1 \leq i \leq n - 1$ (generalized Moisil operators). It is proved that $ℓ_{n}^{m}$ belongs to the class of standard systems...

Sufficient conditions for a T-partial order obtained from triangular norms to be a lattice

Lifeng Li, Jianke Zhang, Chang Zhou (2019)

Kybernetika

Similarity:

For a t-norm T on a bounded lattice $(L, \leq)$ , a partial order $\leq_{T}$ was recently defined and studied. In [11], it was pointed out that the binary relation $\leq_{T}$ is a partial order on $L$ , but $(L, \leq_{T})$ may not be a lattice in general. In this paper, several sufficient conditions under which $(L, \leq_{T})$ is a lattice are given, as an answer to an open problem posed by the authors of [11]. Furthermore, some examples of t-norms on $L$ such that $(L, \leq_{T})$ is a lattice are presented.

Displaying similar documents to “An investigation on the n -fold IVRL-filters in triangle algebras”

Displaying similar documents to “An investigation on the $n$ -fold IVRL-filters in triangle algebras”