Institutional semantics for many-valued logics

DOI10.1016/j.fss.2012.11.015zbMath1307.03014OpenAlexW2021875789MaRDI QIDQ2450647

Răzvan Diaconescu

Publication date: 14 May 2014

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

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

zbMATH Keywords

many-valued logiccategory theoryresiduated latticeinstitutionfirst-order logic with equalityamalgamation squarefuzzy multi-algebramethod of diagramsquantification space

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Many-valued logic (03B50)

Related Items

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ A logic for the stepwise development of reactive systems ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning ⋮ Generalised graded interpolation

Uses Software

• CASL