On Löb algebras

DOI10.1002/MALQ.200510016zbMATH Open1094.03057OpenAlexW2078182209MaRDI QIDQ3376543FDOQ3376543

Authors M. Alizadeh, Mohammad Ardeshir 

Publication date 24 March 2006

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510016

zbMATH Keywords

Kripke modelsvarietyHeyting algebrabasic algebraLindenbaum algebrasformal propositional logicbasic propositional logicLöb algebra

Mathematics Subject Classification ID

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

Recommendations

• On Löb algebras. II
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Varieties of algebraic systems and propositional calculi
• Free algebras for Gödel-Löb provability logic
• On the linear Lindenbaum algebra of Basic Propositional Logic

Cites Work

• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Amalgamation property for the class of basic algebras and some of its natural subclasses

Cited In (8)

• On the linear Lindenbaum algebra of Basic Propositional Logic
• On LF-algebras
• On Löb algebras. II
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Implication via spacetime
• On self‐distributive weak Heyting algebras
• Interpolation Property on Visser's Formal Propositional Logic
• Completions of Basic Algebras

This page was built for publication: On Löb algebras

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