Characteristic formulas over intermediate logics

DOI10.1007/978-3-319-69917-2_5zbMATH Open1429.03110arXiv1208.2631OpenAlexW2154470989MaRDI QIDQ5214733FDOQ5214733

Authors: Alex Citkin 

Publication date: 5 February 2020

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

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

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

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

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

Cited In (5)

• Yankov Characteristic Formulas (An Algebraic Account)
• Frame based formulas for intermediate logics
• On Löb algebras. II
• 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

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)