The Lyndon property and uniform interpolation over the Grzegorczyk logic
type: Item
instance of: scholarly article
title: The Lyndon property and uniform interpolation over the Grzegorczyk logic
zbMATH Open document ID: None
DOI: 10.1134/S0037446614010145
published in: Siberian Mathematical Journal
publication date: 2014-11-04T00:00:00Z
zbMATH DE Number: 6365608
zbMATH Keywords: uniform interpolation
zbMATH Keywords: Lyndon interpolation property
zbMATH Keywords: modal logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: grzegorczyk logic
author: L. L. Maksimova
MaRDI profile type: Publication
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Q3022776
cites work: The many faces of interpolation
cites work: An interpolation theorem in the predicate calculus
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: An algebraic theory of normal forms
cites work: Q4694581
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: A sheaf representation and duality for finitely presented Heyting algebras
cites work: On systems of modal logic with provability interpretations
cites work: Q4893140
cites work: Q4068699
cites work: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
cites work: Q5734410
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C40
description: scientific article; zbMATH DE number 6365608