Results 161 to 170 of about 10,642 (232)
A unified semantics for distributive and non-distributive universal quantifiers across languages. [PDF]
Haslinger N +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Embeddability of the Semilattice L m 0 in Rogers Semilattices
Algebra and Logic, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +3 more sources
On semilattice relevant logics
Mathematical Logic Quarterly, 2003AbstractThe semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW (slightly different from the orthodox relevant logics R, T, RW, and TW) are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut‐free labelled sequent calculus with plural succedents (like LK).
exaly +2 more sources
Semilattice of topological groups
Communications in Algebra, 2021In this article, we establish necessary and sufficient condition on a topological Clifford semigroup to be a semilattice of topological groups. As a consequence, we show that a topological Clifford semigroup satisfies the property that for each and every
Monika Paul
exaly +2 more sources
Fuzzy Sets Syst., 2021
First, we present construction methods for interior operators on a meet semilattice. Second, under the assumption that the underlying meet semilattices constitute the range of an interior operator, we prove an ordinal sum theorem for countably many ...
Yao Ouyang +3 more
semanticscholar +1 more source
First, we present construction methods for interior operators on a meet semilattice. Second, under the assumption that the underlying meet semilattices constitute the range of an interior operator, we prove an ordinal sum theorem for countably many ...
Yao Ouyang +3 more
semanticscholar +1 more source
Kernel ideals of a Stone JP-semilattice
Acta Mathematica Hungarica, 2013M R Talukder
exaly +2 more sources
Dynamics of semilattice networks with strongly connected dependency graph
at - Automatisierungstechnik, 2019Discrete-time dynamical systems on a finite state space have been used to model natural and engineered systems such as biological networks, social networks, and engineered control systems.
Alan Veliz-Cuba, R. Laubenbacher
semanticscholar +1 more source
On some semilattice structures for production technologies
European Journal of Operational Research, 2011Walter Briec
exaly +2 more sources
Canadian Mathematical Bulletin, 1980
AbstractSeveral characterizations for prime semilattices are obtained. Prime semilattices that are compactly packed by filters have been characterized. Solution to the problem, “Find a condition on a semilattice by which every filter can be expressed as the intersection of all prime filters containing it”, is furnished.
Pawar, Y. S., Thakare, N. K.
openaire +2 more sources
AbstractSeveral characterizations for prime semilattices are obtained. Prime semilattices that are compactly packed by filters have been characterized. Solution to the problem, “Find a condition on a semilattice by which every filter can be expressed as the intersection of all prime filters containing it”, is furnished.
Pawar, Y. S., Thakare, N. K.
openaire +2 more sources

