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

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

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)

Cites Work

• Title not available (Why is that?)
• 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)