An infinitary extension of Jankov's theorem

DOI10.1007/s11225-007-9048-7zbMath1135.03032OpenAlexW1982204420MaRDI QIDQ2454639

Yoshihito Tanaka

Publication date: 16 October 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9048-7

zbMATH Keywords

infinitary logicsubdirectly irreducible algebrascomplete Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Other infinitary logic (03C75)

Related Items (1)

Yankov Characteristic Formulas (An Algebraic Account)

Cites Work

• Unnamed Item
• Kripke completeness of infinitary predicate multimodal logics
• A logic stronger than intuitionism
• A proof of the completeness theorem of Grödel

This page was built for publication: An infinitary extension of Jankov's theorem