The following pages link to Monadic extensions of institutions (Q622025):
Displaying 14 items.
- Fuzzy terms (Q277347) (← links)
- Institution morphisms (Q699929) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- Institutions of variable truth values: An approach in the ordered style (Q1894330) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Elementary Diagrams in Institutions (Q4659504) (← links)
- Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems (Q5223202) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)