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:
Detalles Bibliográficos
Autores principales: Busaniche, M., Cignoli, R.
Formato: JOUR
Materias:
Constructive logic
N4-lattices
Paraconsistent Nelson's logic
Residuated lattices with involution
Twist-structures
Algebraic semantic
matrix
Paraconsistent logic
Residuated lattices
Combinatorial circuits
Semantics
Formal logic
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_0955792X_v19_n6_p1019_Busaniche
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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.

Ejemplares similares