Bidimensional Brouwerian algebras

zbMATH Open1240.03055MaRDI QIDQ3170527FDOQ3170527

Authors: Mircea Sularia 

Publication date: 27 September 2011

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

zbMATH Keywords

Boolean algebraintuitionistic logicHeyting algebramodal operatorarithmetical variety

Mathematics Subject Classification ID

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

Cited In (4)

• The algebraic counterpart of a symbolic logic of problem solving
• Title not available (Why is that?)
• Bidual of \(r\)-algebras
• Title not available (Why is that?)

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)