19 citations · 86 across the 21 of their papers we have counts for
1 paper · 1 filter
Davide Castelnovo, Marino Miculan
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 ter…