Results 1 to 10 of about 158 (32)
Topological representation for monadic implication algebras [PDF]
Open Mathematics, 2009 In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra.
Abad Manuel +2 more
doaj +2 more sources
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
Prime preideals on bounded EQ-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022 EQ-algebras were introduced by Novák in [14] as an algebraic structure of truth values for fuzzy type theory (FFT). In [1], Borzooei et. al. introduced the notion of preideal in bounded EQ-algebras.
Akhlaghinia N. +2 more
doaj +1 more source
Quasi-semi-homomorphisms and generalized proximity relations between Boolean algebras
, 2018 In this paper we shall define the notion of quasi-semi-homomorphisms between Boolean algebras, as a generalization of the quasi-modal operators introduced in [3], of the notion of meet-homomorphism studied in [12] and [11], and the notion of precontact ...
S. Celani
semanticscholar +1 more source
Totally disconnected compactifications
, 1993 International Journal of Mathematics and Mathematical Sciences, Volume 16, Issue 4, Page 653-656, 1993.
Parfeny P. Saworotnow
wiley +1 more source
Representation and duality for Hilbert algebras
Open Mathematics, 2009 Celani Sergio +2 more
doaj +1 more source
The combinatorial derivation and its inverse mapping
Open Mathematics, 2013 Protasov Igor
doaj +1 more source
Representation of Hilbert algebras and implicative semilattices
Open Mathematics, 2003 Celani Sergio
doaj +1 more source
Independent families in complete Boolean algebras
, 1982 B. Balcar, F. Franek
semanticscholar +1 more source