Completions of Basic Algebras
From MaRDI portal
Publication:3638276
DOI10.1007/978-3-642-02261-6_7zbMath1246.03083OpenAlexW1580514212MaRDI QIDQ3638276
Publication date: 2 July 2009
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_7
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Cites Work
This page was built for publication: Completions of Basic Algebras