The Lyndon property and uniform interpolation over the Grzegorczyk logic

DOI10.1134/S0037446614010145zbMathNoneMaRDI QIDQ467667

Larisa L. Maksimova

Publication date: 4 November 2014

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

modal logicintuitionistic logicgrzegorczyk logicLyndon interpolation propertyuniform interpolation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

Through an Inference Rule, Darkly ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpolation theorem in the predicate calculus
• The many faces of interpolation
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• An algebraic theory of normal forms
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• On systems of modal logic with provability interpretations
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• A sheaf representation and duality for finitely presented Heyting algebras
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski

This page was built for publication: The Lyndon property and uniform interpolation over the Grzegorczyk logic