Miquel Bofill

Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

2024

In this paper we deal with propositional fuzzy formulae containing several propositional symbols linked with connectives defined in a lattice of truth degrees more complex than Bool. We firstly recall an SMT (Satisfiability Modulo Theories) …