Results 11 to 20 of about 1,136,955 (184)
Pseudo o-Minimality for Double Stone Algebras [PDF]
Mathematics Interdisciplinary Research, 2023 Pseudo o-minimality is a generalization of o-minimality of linear orders to partial orders. Recently Lei Chen, Niandong Shi and Guohua Wu provided pseudo o-minimality for the class of Stone algebras. In this note we use quantifier elimination property to
Farhad Jahanian, Jafar Sadegh Eivazloo
doaj +1 more source
Cut-free sequent-style systems for a logic associated to involutive Stone algebras [PDF]
Journal of Logic and Computation, 2022 In [4, 5], it was introduced a logic (called Six) associated to a class of algebraic structures known as involutive Stone algebras. This class of algebras, denoted by S, was considered by the first time in [6] as a tool for the study of certain ...
Liliana M. Cantú, M. Figallo
semanticscholar +1 more source
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source
A Coalgebraic Approach to Dualities for Neighborhood Frames [PDF]
Logical Methods in Computer Science, 2022 We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras.
Guram Bezhanishvili +2 more
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
Reticulation of Quasi-commutative Algebras [PDF]
Journal of Mahani Mathematical Research, 2023 The commutator theory, developed by Fresee and McKenzie in the framework of a congruence-modular variety $\mathcal{V}$, allows us to define the prime congruences of any algebra $A\in \mathcal{V}$ and the prime spectrum $Spec(A)$ of $A$.
G. Georgescu
doaj +1 more source
The variety of quasi-Stone algebras does not have the amalgamation property
Algebra Universalis, 2011 Sara Fischer
exaly +2 more sources
Bulletin of Mathematical Sciences, 2023 Perfect C∗-algebras were introduced by Akeman and Shultz in [Perfect C*-algebras, Mem. Amer. Math. Soc. 55(326) (1985)] and they form a certain subclass of C*-algebras determined by their pure states, and for which the general Stone–Weierstrass ...
Fatmah B. Jamjoom
doaj +1 more source
No-go theorems for functorial localic spectra of noncommutative rings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of nxn-matrices for n at least 3. The same obstruction applies to the Zariski, Stone, and
Benno van den Berg, Chris Heunen
doaj +1 more source
On the logic that preserves degrees of truth associated to involutive Stone algebras [PDF]
Logic Journal of the IGPL, 2018 Involutive Stone algebras (or S-algebras) were introduced by R. Cignoli and M. Sagastume in connection to the theory of $n$-valued Łukasiewicz–Moisil algebras.
Liliana M. Cantú, M. Figallo
semanticscholar +1 more source