The following pages link to Monadic extensions of institutions (Q622025):
Displaying 7 items.
- Fuzzy terms (Q277347) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
