Topological representation for implication algebras

DOI10.1007/S00012-004-1872-2MaRDI QIDQ2577680zbMATH OpenOpenAlexFDO

Authors Manuel Abad, Patricio Díaz Varela, Antoni Torrens

Publication date 6 January 2006

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-004-1872-2

zbMATH Keywords

Boolean algebrafilterimplication algebraStone representation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15)

Review text

A description of an implication algebra \(A\) as a union of a unique family of filters of a suitable Boolean closure of \(A\) is given. The notion of a topological implication space is introduced and the dual equivalence for implication algebras and the corresponding implication spaces is proved. The implication space of a free implication algebra is constructed.

Recommendations

• Topological representation for monadic implication algebras
• scientific article; zbMATH DE number 1839633
• Implicational lattices and generalization of Stone's representation theorem
• Zariski-type topology for implication algebras
• scientific article; zbMATH DE number 1829348

Cited in

(10)

• Topological representation for monadic implication algebras
• Representation of Hilbert algebras and implicative semilattices
• Implicative twist-structures
• Topological representation of material implication and the rule of inference modus ponens
• Paraconsistent modal logics
• Algebraic representation, dualities and beyond
• XIV Latin American Symposium on Mathematical Logic (SLALM)
• Zariski-type topology for implication algebras
• Finite Tarski algebras are determined by their endomorphisms
• Choice-free duality for Tarski algebras

This page was built for publication: Topological representation for implication algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2577680)