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:
| Autor principal: | Busaniche, Manuela |
|---|---|
| Publicado: |
2009
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_0955792X_v19_n6_p1019_Busaniche 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, M., et al. -
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)