The following pages link to (Q3520836):
Displaying 7 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Universal abstract consistency class and universal refutation (Q1288438) (← links)
- Abstract logical constants (Q1632049) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- A shared framework for consequence operations and abstract model theory (Q2392009) (← links)
- Universal models and definability (Q3225519) (← links)
- Applications of model theory to the study of ‘soft’ universals in language (Q4597865) (← links)
