Results 101 to 110 of about 1,290 (174)
On the free implicative semilattice extension of a Hilbert algebra [PDF]
, 2012 Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices.
Jansana, Ramon, Celani, Sergio Arturo
core +1 more source
On the 75th birth anniversary of Marat Mirzaevich Arslanov
Учёные записки Казанского университета: Серия Физико-математические науки, 2019 The paper describes the biography and the main scientific achievements of Marat Mirzaevich Arslanov, the Head of the Department of Algebra and Mathematical Logic of Kazan Federal University, Professor, who is the founder of the Kazan School of ...
I.Sh. Kalimullin, V.L. Selivanov
doaj +1 more source
Quantified constraint satisfaction and 2-semilattice polymorphisms [PDF]
, 2004 The quantified constraint satisfaction problem (QCSP) is a natural and useful generalization of the constraint satisfaction problem (CSP) in which both universal and existential quantification of variables is permitted.
Chen, Hubie
core
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
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 semiring of 1-preserving endomorphisms of a semilattice [PDF]
, 2001 summary:We prove that the semirings of 1-preserving and of 0,1-preserving endomorphisms of a semilattice are always subdirectly irreducible and we investigate under which conditions they are simple.
Hurt, J +10 more
core +1 more source
The preservation of the semiprime Goldie property by strong semilattice sums [PDF]
, 1992 Let R R be a strong semilattice sum of rings R α ( α ∈ P ) {R_\alpha }(\alpha \in P) where P P is an m.u ...
Yue-chan P. Ho
core +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
Undecidability of the elementary theory of the semilattice of GLP-words [PDF]
, 2012 The Lindenbaum algebra of Peano arithmetic PA can be enriched by the n-consistency operators which assign, to a given formula, the statement that the formula is compatible with the theory PA extended by the set of all true Pi(n)-sentences.
Pakhomov, Fedor +2 more
core +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