scientific article; zbMATH DE number 1302502
A monadic De Morgan algebra is an algebra \((A,\nabla)\), where \(A\) is a De Morgan algebra and \(\nabla \) is an existential quantifier on \(A\). The operator \(\Delta\) defined by \(\Delta x=\;\sim \nabla \sim x\) is a universal quantifier on \(A\) such that \(\nabla (A)=\Delta(A)\). In this work, Priestley duality is extended for the variety \({\mathcal M}\) of monadic De Morgan algebras, and, as a consequence, the congruence lattice of an algebra \(A\in{\mathcal M}\) is characterized in terms of certain closed sets of its associated space. Then simple and subdirectly irreducible algebras in \({\mathcal M}\) are determined. Finally, the author gives a construction of the De Morgan spaces of free algebras in \({\mathcal M}\) extending a construction by Halmos for monadic Boolean algebras. For the entire collection see [Zbl 0905.00049].
- Analogue of the Bruhat decomposition for algebraic monoids
- On the structure of De Morgan monoids with corollaries on relevant logic and theories
- Distributive lattices with an operator
- Monounary algebras and bottleneck algebras
- On a definition of a variety of monadic \(\ell\)-groups.
- Existentially closed de Morgan algebras
- On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
- Monoidal algebraic model structures
- scientific article; zbMATH DE number 4077307 (Why is no real title available?)
- scientific article; zbMATH DE number 1054873 (Why is no real title available?)
- Monoid Hecke algebras
- Discrete duality for De Morgan algebras with operators
- Antipodes of monoidal decomposition spaces
- The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras
- Monadic dynamic algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249032)
