Results 1 to 10 of about 144,448 (193)
Topological Properties of Prime Filters and Minimal Prime Filters on a Paradistributive Latticoid
In this paper, we study the concepts of prime filters and minimal prime filters on a paradistributive latticoid (PDL) and discuss various results. In addition, we prove that the annihilator filter S• is equal to the intersection of all prime filters not ...
Suryavardhani Ajjarapu +3 more
doaj +5 more sources
Some results on semi maximal filters in BL−algebras [PDF]
In this article, we present an equivalent definition for the concept of the semi maximal filter in $BL-$algebras and some of their properties are studied.
Mahta Bedrood +2 more
doaj +1 more source
Pretty cleanness and filter-regular sequences [PDF]
Let $K$ be a field and $S=K[x_1,\ldots, x_n]$. Let $I$ be a monomial ideal of $S$ and $u_1,\ldots, u_r$ be monomials in $S$ which form a filter-regular sequence on $S/I$. We show that $S/I$ is pretty clean if and only if $S/(I,u_1,\ldots, u_r)$ is pretty
Bandari, Somayeh +2 more
core +3 more sources
Generalized co-annihilator of BL-algebras
In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators.
Meng Biao Long, Xin Xiao Long
doaj +1 more source
A counterexample to Thiagarajan's conjecture on regular event structures [PDF]
We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets.
Chalopin, Jérémie, Chepoi, Victor
core +4 more sources
Valuations in Nilpotent Minimum Logic
The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler characteristic on NM algebras, the algebraic counterpart of Nilpotent Minimum ...
Codara, Pietro, Valota, Diego
core +1 more source
Unital hyperarchimedean vector lattices [PDF]
We prove that the category of unital hyperarchimedean vector lattices is equivalent to the category of Boolean algebras. The key result needed to establish the equivalence is that, via the Yosida representation, such a vector lattice is naturally ...
Ball, Richard N., Marra, Vincenzo
core +2 more sources
The space of minimal prime D−filters of Almost Distributive Lattices
Summary: The concept of \(D\)-filters is introduced in an Almost Distributive Lattice (ADL) and studied their properties. An equivalency is established between the minimal prime \(D\)-filters of an ADL and its quotient ADL with respect to a congruence. Finally, some properties of prime \(D\)-filters and minimal prime \(D\)-filters of an ADL are studied
Noorbhasha Rafi +2 more
openaire +2 more sources
Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
Inverse topology in BL-algebras
In this paper, we introduce Inverse topology in a BL-algebra A and prove the set of all minimal prime filters of A, namely Min(A) with the Inverse topology is a compact space, Hausdorff, T0 and T1-Space.
Fereshteh Forouzesh +2 more
doaj

