A duality for involutive bisemilattices
From MaRDI portal
Publication:2422316
Abstract: We establish a natural duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as P{l}onka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.
Recommendations
Cites work
- scientific article; zbMATH DE number 432733 (Why is no real title available?)
- scientific article; zbMATH DE number 3887755 (Why is no real title available?)
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 3652395 (Why is no real title available?)
- scientific article; zbMATH DE number 3780202 (Why is no real title available?)
- scientific article; zbMATH DE number 32090 (Why is no real title available?)
- scientific article; zbMATH DE number 139652 (Why is no real title available?)
- scientific article; zbMATH DE number 3533719 (Why is no real title available?)
- scientific article; zbMATH DE number 1226180 (Why is no real title available?)
- scientific article; zbMATH DE number 3061149 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A computational interpretation of conceptivism
- A representation theorem for distributive quasi-lattices
- Counting finite linearly ordered involutive bisemilattices
- Defining LFIs and LFUs in extensions of infectious logics
- Dualities for Płonka sums
- Duality for semilattice representations
- Logics based on linear orders of contaminating values
- Logics of left variable inclusion and Płonka sums of matrices
- Multi-valued logic programming semantics An algebraic approach
- Nonsense logics and their algebraic properties
- On a method of construction of abstract algebras
- On distributive quad-lattices
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- On sums of direct systems of Boolean algebras
- On the sum of a direct system of universal algebras with nullary polynomials
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Semilattice-based dualities
- Some Limits of Boolean Algebras
- Some remarks on sums of direct systems of algebras
- Stone-type representations and dualities for varieties of bisemilattices
- Subdirect decomposition of Plonka sums
- Subdirect decomposition of distributive quasilattices
- The Pontryagin duality of compact O-dimensional semilattices and its applications
- Theories of truth based on four-valued infectious logics
- Varieties of Birkhoff systems. I
- Varieties of Birkhoff systems. II
Cited in
(15)- On the structure of Bochvar algebras
- Probability over Płonka sums of Boolean algebras: states, metrics and topology
- The Płonka product of topological spaces
- Counting finite linearly ordered involutive bisemilattices
- Dualities for Płonka sums
- Exactly true and non-falsity logics meeting infectious ones
- Stone-type representations and dualities for varieties of bisemilattices
- scientific article; zbMATH DE number 3954984 (Why is no real title available?)
- Left variable inclusion logics associated with classical logic
- Bilinear dual hyperovals from binary commutative presemifields
- Logics of left variable inclusion and Płonka sums of matrices
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Boolean rigs
- scientific article; zbMATH DE number 32090 (Why is no real title available?)
- On dual theorem in involutory BCK-algebras
This page was built for publication: A duality for involutive bisemilattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422316)
