Topological representation for monadic implication algebras
From MaRDI portal
Recommendations
- Topological representation for implication algebras
- Algebraic representation of frame-valued continuous lattices via the open filter monad
- Representation of Hilbert algebras and implicative semilattices
- scientific article; zbMATH DE number 1829348
- On monadic quantale algebras: basic properties and representation theorems
Cites work
- scientific article; zbMATH DE number 3142898 (Why is no real title available?)
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1894662 (Why is no real title available?)
- scientific article; zbMATH DE number 3271476 (Why is no real title available?)
- Free Monadic Algebras
- Free monadic Tarski algebras
- Minimally generated Boolean algebras
- Quantifiers on distributive lattices
- Topological representation for implication algebras
Cited in
(6)- Zariski-type topology for implication algebras
- A duality for three-valued Łukasiewicz \(\Delta\)-implication algebras
- Topological representation of material implication and the rule of inference modus ponens
- scientific article; zbMATH DE number 60055 (Why is no real title available?)
- Interpretations into monadic algebras
- Topological representation for implication algebras
This page was built for publication: Topological representation for monadic implication algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1040206)
