Monadic extensions of institutions

DOI10.1016/j.fss.2010.03.002zbMath1229.03062OpenAlexW2061828175MaRDI QIDQ622025

Robert Helgesson, Patrik E. Eklund

Publication date: 31 January 2011

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2010.03.002

zbMATH Keywords

entailment systemgeneral logicinstitutionpartially ordered monad

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Categorical logic, topoi (03G30) Many-valued logic (03B50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (5)

Fuzzy terms ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ Generalised graded interpolation

Cites Work

• Powersets of terms and composite monads
• Composing Partially Ordered Monads
• A topological approach to structure theory, I
• Institutions: abstract model theory for specification and programming
• Limesräume und Komplettierung
• General topology -- the monadic case, examples, applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Monadic extensions of institutions