Results 31 to 40 of about 1,225 (183)
Determinants on Semilattices [PDF]
Proceedings of the American Mathematical Society, 1969 This corollary can be applied to the construction of some (? 1)determinants with large values. For the background on generalized M\4obius functions we refer to the paper [2 ] by Gian-Carlo Rota. 2. We first prove a lemma. LEMMA. Let X be a finite-semilattice and a, b CX such that b $ a.
openaire +2 more sources
Modal meet-implication logic [PDF]
Logical Methods in Computer Science, 2022 We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame.
Jim de Groot, Dirk Pattinson
doaj +1 more source
Logic Journal of the IGPL, 2023 Abstract We devise exact conditions under which a join semilattice with a weak contact relation can be semilattice embedded into a Boolean algebra with an overlap contact relation, equivalently, into a distributive lattice with additive contact relation.
openaire +3 more sources
Topological duality for orthomodular lattices
Mathematical Logic Quarterly, Volume 69, Issue 2, Page 174-191, May 2023., 2023 Abstract A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimbó's topologization of the class of orthoframes employed by Goldblatt in his representation of ...
Joseph McDonald, Katalin Bimbó
wiley +1 more source
MINIMAL EXPANSIONS OF SEMILATTICES [PDF]
International Journal of Algebra and Computation, 2004 We determine the minimal extension of the sequence <0,1,1,…,1,2>. This completes and extends the work of Koh, started in 1970, and solves Problem 15 in the survey on pn-sequences and free spectra [4]. The results involve the investigation of some minimal expansions of semilattices.
Peter Jipsen, Andrzej Kisielewicz 0001
openaire +2 more sources
The Fuzzy Prime Spectrum of Partially Ordered Sets
International Journal of Mathematics and Mathematical Sciences, Volume 2023, Issue 1, 2023., 2023 We study the space of prime fuzzy ideals (and the space of maximal fuzzy ideals as a subspace) equipped with the hull‐kernel topology in partially ordered sets. Mainly, we investigate the conditions for which the fuzzy prime spectrum of a poset is compact, Hausdorff, and normal, respectively.
Derso Abeje Engidaw +6 more
wiley +1 more source
On unique factorization semilattices [PDF]
, 2000 The class of unique factorization semilattices (UFSs) contains important examples of semilattices such as free semilattices and the semilattices of idempotents of free inverse monoids.
Silva, Pedro
core +1 more source
Multi-argument specialization semilattices [PDF]
Mathematica BohemicaIf $X$ is a closure space with closure $K$, we consider the semilattice $(\mathcal P(X), \cup)$ endowed with a further relation $ x \sqsubseteq\{ y_1, y_2, \dots, y_n\} $ between elements of $\mathcal P(X)$ and finite subsets of $\mathcal P(X)$, whose ...
Paolo Lipparini
doaj +1 more source
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
Representation of Hilbert algebras and implicative semilattices
Central European Journal of Mathematics, 2003 Sérgio A Celani, Celani Sérgio A
exaly +2 more sources