On Lob algebras, II

DOI10.1093/jigpal/jzr024zbMath1254.03116OpenAlexW2159461960MaRDI QIDQ2903749

Majid Alizadeh, Mohammad Ardeshir

Publication date: 1 August 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzr024

zbMATH Keywords

Heyting algebraintermediate logicsbasic algebrainterpolation propertyformal propositional logicbasic propositional logicLöb algebra

Mathematics Subject Classification ID

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

Related Items

Implication via spacetime ⋮ Completions of Basic Algebras