Residuated Lattices
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Remarks on an algebraic semantics for paraconsistent Nelson's logic
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and som
Manuscrito. Publicado em: 2011-06
-
2. The Interval Constructor on classes of ML-algebras
Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On th
Publicado em: 2008