Pages that link to "Item:Q3982061"
From MaRDI portal
The following pages link to Interpolation in conditional equational logic (Q3982061):
Displaying 9 items.
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- A simple algebraic proof of the equational interpolation theorem (Q1173754) (← links)
- A logical approach to interpolation based on similarity relations (Q1809365) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Interpolation in practical formal development (Q2716926) (← links)
- A weak form of interpolation in equational logic (Q3546111) (← links)
- (Q4787878) (← links)