Pages that link to "Item:Q1130509"
From MaRDI portal
The following pages link to Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509):
Displaying 26 items.
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- On propositional definability (Q2389643) (← links)
- Equality and lyndon's interpolation theorem (Q3691642) (← links)
- On interpolation when function symbols are present (Q4106157) (← links)
- Interpolation in fragments of classical linear logic (Q4302342) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- A Lemma which Distinguishes Minimal Logics from Other Logics (Q5546771) (← links)
- On a Characteristic Feature of the Positive Logics (Q5546780) (← links)
- Homorphie-invariante Formeln in der intuitionistischen Logik (Q5663837) (← links)
- A note on Schütte's interpolation theorem (Q5665172) (← links)
- Unterstruktur-invariante Formeln in der intuitionistischen Logik (Q5678839) (← links)