Topological representation for monadic implication algebras

DOI10.2478/S11533-009-0002-YMaRDI QIDQ1040206zbMATH OpenOpenAlexFDO

Authors Manuel Abad, Cecilia Rossana Cimadamore, Patricio Díaz Varela

Publication date 24 November 2009

Published in Central European Journal of Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL http://hdl.handle.net/11336/80664

zbMATH Keywords

categorical equivalenceimplication algebraimplication spacemonadic implication algebratopology

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Review text

A monadic implication algebra is presented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. An equivalence between the category of monadic implication algebras and the category of monadic implication spaces is described.

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

• Free Monadic Algebras
• Free monadic Tarski algebras
• 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?)
• Minimally generated Boolean algebras
• Quantifiers on distributive lattices
• Topological representation for implication algebras

Cited in

(6)

• Interpretations into monadic algebras
• Topological representation for implication algebras
• Topological representation of material implication and the rule of inference modus ponens
• A duality for three-valued Łukasiewicz -implication algebras
• Zariski-type topology for implication algebras
• scientific article; zbMATH DE number 60055 (Why is no real title available?)

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)