Characteristic Formulas Over Intermediate Logics

DOI10.1007/978-3-319-69917-2_5zbMath1429.03110arXiv1208.2631OpenAlexW2154470989MaRDI QIDQ5214733

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)

Related Items (2)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics

Cites Work

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

This page was built for publication: Characteristic Formulas Over Intermediate Logics