Results 71 to 80 of about 10,642 (232)
Some ordered hypersemigroups which enter their properties into their σ-classes [PDF]
An important problem in the theory of ordered hypersemigroups is to describe the ordered hypersemigroups which enter their properties into their σ-classes.
Niovi Kehayopulu
doaj +1 more source
Sequences suffice for pointfree uniform completions
Abstract Completions of metric spaces are usually constructed using Cauchy sequences. However, this does not work for general uniform spaces, where Cauchy filters or nets must be used instead. The situation in pointfree topology is more straightforward: the correct completion of uniform locales can indeed be obtained as a quotient of a locale of Cauchy
Graham Manuell
wiley +1 more source
On generalized Ehresmann semigroups
As a generalization of the class of inverse semigroups, the class of Ehresmann semigroups is introduced by Lawson and investigated by many authors extensively in the literature.
Wang Shoufeng
doaj +1 more source
SEMILATTICES AND K-FINITE OBJECTS
We prove that for X Є ǀ E ǀ, E elementary topos, the following properties are equivalent: (a) X is K-finite, (b) for every upper semilattice B, the diagonal B → BX has a left adjoint.
OSVALDO ACUÑA ORTEGA
doaj +1 more source
On chains in $H$-closed topological pospaces
We study chains in an $H$-closed topological partially ordered space. We give sufficient conditions for a maximal chain $L$ in an $H$-closed topological partially ordered space such that $L$ contains a maximal (minimal) element.
AH Clifford +19 more
core +1 more source
On the Semantics and the Ontology of the Mass‐Count Distinction
ABSTRACT The mass‐count distinction is a morpho‐syntactic distinction among nouns in English and many other languages. Tree, chair, person, group, and portion are count nouns, which come with the plural and accept numerals such as one and first; water, rice, furniture, silverware, and law enforcement are mass nouns, which lack the plural and do not ...
Friederike Moltmann
wiley +1 more source
The semigroup of nonempty finite subsets of rationals
Let Q be the additive group of rational numbers and let ℛ be the additive semigroup of all nonempty finite subsets of Q. For X∈ℛ, define AX to be the basis of 〈X−min(X)〉 and BX the basis of 〈max(X)−X〉.
Reuben Spake
doaj +1 more source
O-Distributive Semilattices [PDF]
AbstractSufficient conditions for a semilattice to be a 0- distributive are obtained. Some equivalent formulations of 0- distributivity in a semilattice are given. Further, disjunctive 0- distributive semilattices are also characterized.
Pawar, Y. S., Thakare, N. K.
openaire +2 more sources
Truthmaker Semantics and Natural Language Semantics
ABSTRACT Truthmaker semantics is a non‐classical logical framework that has recently garnered significant interest in philosophy, logic, and natural language semantics. It redefines the propositional connectives and gives rise to more fine‐grained entailment relations than classical logic.
Lucas Champollion
wiley +1 more source
Trees with Unique Least Central Subtrees
A subtree S of a tree T is a central subtree of T if S has the minimum eccentricity in the join-semilattice of all subtrees of T. Among all subtrees lying in the join-semilattice center, the subtree with minimal size is called the least central subtree ...
Kang Liying, Shan Erfang
doaj +1 more source

