1 citations · 1 across the 6 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…