Der Interpolationssatz der intuitionistischen Prädikatenlogik

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
A formal system of first-order predicate calculus with infinitely long expressions
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Linear reasoning. A new form of the Herbrand-Gentzen theorem
Schlussweisen-Kalküle der Prädikatenlogik

Cited In (28)

Joint consistency in extensions of the minimal logic
Interpolation and definability over the logic Gl
Decidability of the weak interpolation property over the minimal logic
Interpolation and the projective Beth property in well-composed logics
Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
Interpolation in non-classical logics
On propositional definability
Interpolation in fragments of classical linear logic
Modal languages and bounded fragments of predicate logic
The decidability of Craig's interpolation property in well-composed J-logics
Homorphie-invariante Formeln in der intuitionistischen Logik
A note on Schütte's interpolation theorem
Proof theory for positive logic with weak negation
Unterstruktur-invariante Formeln in der intuitionistischen Logik
On interpolation when function symbols are present
On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
A Lemma which Distinguishes Minimal Logics from Other Logics
Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
Multicomponent proof-theoretic method for proving interpolation properties
Special cases of the interpolation theorem for classical predicate calculus
Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
Equality and lyndon's interpolation theorem
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
On a Characteristic Feature of the Positive Logics
An open mapping theorem for finitely copresented Esakia spaces
Maksimova, Relevance and the Study of Lattices of Non-classical Logics
Interpolation properties of superintuitionistic logics

This page was built for publication: Der Interpolationssatz der intuitionistischen Prädikatenlogik

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