On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness | Publicación