Abstract

We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we will overview the semantics of partial fuzzy propositional logic, recall the basic notions, comment on axiomatization and present its first-order variant. Then we will present results on the properties of quantifiers from different families.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call