Pages that link to "Item:Q2390213"
From MaRDI portal
The following pages link to Herbrand theorems in arbitrary institutions (Q2390213):
Displaying 12 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Structural induction in institutions (Q719243) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- What is a logic translation? (Q1931306) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- On quasi-varieties of multiple valued logic models (Q2996230) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Service Specification and Matchmaking Using Description Logic (Q5505438) (← links)
