Completions of Basic Algebras

DOI10.1007/978-3-642-02261-6_7zbMath1246.03083OpenAlexW1580514212MaRDI QIDQ3638276

Majid Alizadeh

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

zbMATH Keywords

completionHeyting algebraintuitionistic logicbasic algebraVisser's basic logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Implication via spacetime

Cites Work

• Unnamed Item
• Unnamed Item
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• A propositional logic with explicit fixed points
• On Lob algebras, II
• On Löb algebras
• Basic Propositional Calculus I
• Basic predicate calculus

This page was built for publication: Completions of Basic Algebras