Algebraic reasoning; Categorical logic; Eilenberg-Moore algebras; Equational axiomatisations; Fuzzy sets; Monads

In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics for this …