Bidimensional Brouwerian algebras

MaRDI QIDQ3170527zbMATH OpenFDO

Authors Mircea Sularia

Publication date 27 September 2011

zbMATH Keywords

Boolean algebraintuitionistic logicHeyting algebramodal operatorarithmetical variety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• The algebraic counterpart of a symbolic logic of problem solving
• Gödel algebras: interactive dualities and their applications.
• scientific article; zbMATH DE number 2073544
• On \(Bd\)-algebras
• scientific article; zbMATH DE number 1374605

Cited in

(4)

• Bidual of \(r\)-algebras
• scientific article; zbMATH DE number 2073544 (Why is no real title available?)
• scientific article; zbMATH DE number 3775598 (Why is no real title available?)
• The algebraic counterpart of a symbolic logic of problem solving

This page was built for publication: Bidimensional Brouwerian algebras

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