Der Interpolationssatz der intuitionistischen Prädikatenlogik
From MaRDI portal
Publication:1130509
DOI10.1007/BF01470747zbMath0108.00301OpenAlexW2318022924MaRDI QIDQ1130509
Publication date: 1962
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160993
Related Items
A Lemma which Distinguishes Minimal Logics from Other Logics ⋮ On a Characteristic Feature of the Positive Logics ⋮ On propositional definability ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ Interpolation in fragments of classical linear logic ⋮ Joint consistency in extensions of the minimal logic ⋮ Interpolation properties of superintuitionistic logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Proof theory for positive logic with weak negation ⋮ Homorphie-invariante Formeln in der intuitionistischen Logik ⋮ A note on Schütte's interpolation theorem ⋮ Unterstruktur-invariante Formeln in der intuitionistischen Logik ⋮ Interpolation and definability over the logic Gl ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ On interpolation when function symbols are present ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras ⋮ Modal languages and bounded fragments of predicate logic ⋮ Interpolation in non-classical logics ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach ⋮ Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic ⋮ Equality and lyndon's interpolation theorem
Cites Work
