Pages that link to "Item:Q2379932"
From MaRDI portal
The following pages link to Stratified institutions and elementary homomorphisms (Q2379932):
Displaying 6 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Abstract categorical logic (Q6043096) (← links)
