Interpolation properties of superintuitionistic logics

DOI10.1007/BF00370479zbMath0435.03021MaRDI QIDQ1140079

Larisa L. Maksimova

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

interpolationmodal logicsuperintuitionistic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (19)

The undecidability of the disjunction property of propositional logics and other related problems ⋮ On variable separation in modal and superintuitionistic logics ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ Interconnection of the lattices of extensions of four logics ⋮ First-order interpolation derived from propositional interpolation ⋮ Ten problems in Gödel logic ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Proof analysis in intermediate logics ⋮ The disjunction property of intermediate propositional logics ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Amalgamation and interpolation in ordered algebras. ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ Definability and interpolation in non-classical logics ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Interpolation theorems for intuitionistic predicate logic ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach ⋮ Intuitionistic logic and implicit definability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Introduction to model theory and to the metamathematics of algebra
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Craig interpolation theorem for intuitionistic logic and extensions Part III
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Interpolation properties of superintuitionistic logics