The following pages link to (Q5311059):
Displayed 11 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- Saturated models in institutions (Q992038) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- System Consequence (Q5190975) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)