Pages that link to "Item:Q894661"
From MaRDI portal
The following pages link to Graded consequence: an institution theoretic study (Q894661):
Displayed 5 items.
- Generalised graded interpolation (Q2105608) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Abstract Constraint Data Types (Q5256347) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)