Results 101 to 110 of about 10,642 (232)
Journal of Applied Non-Classical LogicsContact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent
openaire +2 more sources
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Philos Stud, 2023 Ferguson TM.
europepmc +1 more source
Congruence lattices of free lattices in non-distributive varieties
, 2005 We prove that for any free lattice F with at least $\aleph\_2$ generators in any non-distributive variety of lattices, there exists no sectionally complemented lattice L with congruence lattice isomorphic to the one of F.
Ploscica, Miroslav +2 more
core
LandCities are complex land systems where spatial form mediates welfare, connectivity, and community-based adaptation. This study compares two Haredi neighbourhoods in Jerusalem, Ezrat Torah (an organically evolved semilattice) and Ramat Shlomo (a planned ...
Shlomit Flint Ashery
doaj +1 more source
The Median Procedure in the Semilattice of Orders
Discrete Applied Mathematics, 2003 Let X be a finite set; we are concerned with the problem of finding a consensus order P that summarizes an m-tuple (profile) P* of (partial) orders on X. A classical approach is to consider a distance function d on the set O of all the orders of X and to
B. Leclerc
semanticscholar +1 more source
A topological lattice on the set of multifunctions
International Journal of Mathematics and Mathematical Sciences, 1989 Let X be a Wilker space and M(X,Y) the set of continuous multifunctions from X to a topological space Y equipped with the compact-open topology. Assuming that M(X,Y) is equipped with the partial order ⊂ we prove that (M(X,Y),⊂) is a topological V ...
Basil K. Papadopoulos
doaj +1 more source
K-Theory for Semigroup C*-Algebras and Partial Crossed Products. [PDF]
Commun Math Phys, 2022 Li X.
europepmc +1 more source
Identities in implicative semilattices [PDF]
Proceedings of the American Mathematical Society, 1973 An effective procedure is given for deciding whether or not an equation in the theory of implicative semilattices is an identity.
openaire +2 more sources
Lattice of closure endomorphisms of a Hilbert algebra
, 2017 A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two elements is ...
Cīrulis, Jānis
core