Characteristic formulas over intermediate logics

DOI10.1007/978-3-319-69917-2_5MaRDI QIDQ5214733zbMATH OpenOpenAlexFDO

Authors Alex Citkin

Publication date 5 February 2020

Published in Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.2631

Mathematics Subject Classification ID

Intermediate logics (03B55)

Abstract: We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly irreducible algebras. Moreover, we prove that there is a continuum of intermediate logics that can be axiomatized by characteristic formulas of infinite algebras while they are not axiomatizable by standard Jankov formulas. We give the examples of intermediate logics that are not axiomatizable by characteristic formulas of infinite algebras. Also, using the Goedel-McKinsey-Tarski translation we extend these results to the varieties of interior algebras and normal extensions of S4

Recommendations

• Characteristic formulas of partial Heyting algebras
• Interpolation and amalgamation; pushing the limits. I
• scientific article; zbMATH DE number 2024625
• Frame based formulas for intermediate logics
• scientific article; zbMATH DE number 3837996

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3564971 (Why is no real title available?)
• scientific article; zbMATH DE number 4123702 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• An almost general splitting theorem for modal logic
• An ascending chain of S4 logics
• Boolean Algebras with Operators
• Canonical formulas for K4. Part I: Basic results
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Canonical formulas for K4. Part III: the finite model property
• Equational Bases and Nonmodular Lattice Varieties
• Interpolation properties of superintuitionistic logics
• Not every splitting Heyting or interior algebra is finitely presentable
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• On intermediate propositional logics
• On the structure of varieties with equationally definable principal congruences. I
• Splittings and the finite model property
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• Tools and techniques in modal logic

Cited in

(8)

• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Yankov Characteristic Formulas (An Algebraic Account)
• Frame based formulas for intermediate logics
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• On Löb algebras. II
• Characteristic formulas of partial Heyting algebras
• Locally finite reducts of Heyting algebras and canonical formulas

This page was built for publication: Characteristic formulas over intermediate logics

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