Interpolation and definability over the logic Gl

DOI10.1007/S11225-011-9351-1zbMATH Open1254.03069OpenAlexW2078092539MaRDI QIDQ647415FDOQ647415

Authors: L. 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

Recommendations

• scientific article; zbMATH DE number 6302918
• Interpolation and Definability in Extensions of the Minimal Logic
• scientific article; zbMATH DE number 2019879
• Extensions of the minimal logic and the interpolation problem
• WIP-minimal logics and interpolation

zbMATH Keywords

interpolationamalgamationdefinabilityminimal logic

Mathematics Subject Classification ID

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

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Constructive negations and paraconsistency
• Intuitionistic logic and implicit definability
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic of classical refutability and class of extensions of minimal logic
• Title not available (Why is that?)
• A Remark on the Intersection of Tow Logics
• Joint consistency in extensions of the minimal logic
• Decidability of the weak interpolation property over the minimal logic
• Some remarks on the consequence operation in sentential logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Weak interpolation in extensions of minimal logic
• Title not available (Why is that?)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Problem of restricted interpolation in superintuitionistic and some modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (13)

• Interpolation and the projective Beth property in well-composed logics
• Recognizability of all WIP-minimal logics
• The decidability of Craig's interpolation property in well-composed J-logics
• Title not available (Why is that?)
• Interpolation and Definability in Extensions of the Minimal Logic
• Interpolation properties for provability logics GL and GLP
• Pretabularity and Craig's interpolation problem over the minimal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions of the minimal logic and the interpolation problem
• Strong computability of slices over the logic GL
• The projective Beth property in well-composed logics
• Interpolation and implicit definability in extensions of the provability logic

This page was built for publication: Interpolation and definability over the logic Gl

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647415)