Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
The class of NPc-lattices is introduced as a quasivariety of commutative residuated lattices, and it is shown that the class of pairs (A,A+) such that A is an NPc-lattice and A+ is its positive cone, is a matrix semantics for Nelson paraconsistent logic.
Guardado en:
Autores principales: | Busaniche, M., Cignoli, R. |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_0955792X_v19_n6_p1019_Busaniche |
Aporte de: |
Ejemplares similares
-
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, Manuela
Publicado: (2009) -
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Publicado: (2011) -
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
por: Bou, F., et al. -
The subvariety of commutative residuated lattices represented by twist-products
por: Busaniche, M., et al. -
The subvariety of commutative residuated lattices represented by twist-products
Publicado: (2014)