Interpolation and definability over the logic Gl

DOI10.1007/s11225-011-9351-1zbMath1254.03069OpenAlexW2078092539MaRDI QIDQ647415

Larisa L. Maksimova

Publication date: 23 November 2011

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

Full work available at URL: https://doi.org/10.1007/s11225-011-9351-1

zbMATH Keywords

interpolationdefinabilityamalgamationminimal logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)

Related Items

Extensions of the minimal logic and the interpolation problem ⋮ Recognizability of all WIP-minimal logics ⋮ The projective Beth property in well-composed logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Strong computability of slices over the logic GL ⋮ Interpolation and the projective Beth property in well-composed logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Joint consistency in extensions of the minimal logic
• Decidability of the weak interpolation property over the minimal logic
• Constructive negations and paraconsistency
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Semantical investigations in Heyting's intuitionistic logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Intuitionistic logic and implicit definability
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation and Definability in Extensions of the Minimal Logic
• The Projective Beth Property and Interpolation in Positive and Related Logics
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• A weak form of interpolation in equational logic
• Problem of restricted interpolation in superintuitionistic and some modal logics
• Logic of classical refutability and class of extensions of minimal logic
• Algebras Whose Congruence Lattices are Distributive.
• A Remark on the Intersection of Tow Logics
• Some remarks on the consequence operation in sentential logics
• Some theorems about the sentential calculi of Lewis and Heyting