The following pages link to (Q4268451):
Displaying 6 items.
- Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
- Geometrisation of first-order logic (Q2795295) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- (Q3800028) (← links)
- Conservative Extensions in Horn Description Logics with Inverse Roles (Q5114785) (← links)
- Tait's conservative extension theorem revisited (Q5190193) (← links)