On paraconsistency and fuzzy logic

  title={On paraconsistency and fuzzy logic},
  author={Francesc Esteva and Lluı́s Godo},
In this communication we will report on the research done on paraconsistency and fuzzy logics as a result of the joint collaboration of two groups of the MatoMUVI project, the Brasilian group of the CLE at the University of Campinas and the Spanish group of IIIA-CSIC from Barcelona. On the one hand, paraconsistency is the study of logics (as deductive systems) having a negation operator ¬ such that not every contradiction {φ,¬φ} trivializes or explotes. In other words, a paraconsistent logic is… CONTINUE READING