Pages that link to "Item:Q2186699"
From MaRDI portal
The following pages link to Interpolation in extensions of first-order logic (Q2186699):
Displaying 17 items.
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Some remarks on the bearing of model theory on the theory of theories (Q1024117) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- First-order interpolation of non-classical logics derived from propositional interpolation (Q1687562) (← links)
- A logical approach to interpolation based on similarity relations (Q1809365) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Interpolation in practical formal development (Q2716926) (← links)
- Geometrisation of first-order logic (Q2795295) (← links)
- A weak form of interpolation in equational logic (Q3546111) (← links)
- (Q4787878) (← links)
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) (← links)
- (Q5556404) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)