Pages that link to "Item:Q1001374"
From MaRDI portal
The following pages link to Birkhoff completeness in institutions (Q1001374):
Displaying 8 items.
- An encoding of partial algebras as total algebras (Q990084) (← links)
- Saturated models in institutions (Q992038) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← 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)
- Constructor-Based Institutions (Q2888501) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Abstract categorical logic (Q6043096) (← links)
