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: | , |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_0955792X_v19_n6_p1019_Busaniche |
Aporte de: |
id |
todo:paper_0955792X_v19_n6_p1019_Busaniche |
---|---|
record_format |
dspace |
spelling |
todo:paper_0955792X_v19_n6_p1019_Busaniche2023-10-03T15:51:49Z Residuated lattices as an algebraic semantics for paraconsistent nelson's logic Busaniche, M. Cignoli, R. Constructive logic N4-lattices Paraconsistent Nelson's logic Residuated lattices with involution Twist-structures Algebraic semantic Constructive logic matrix Paraconsistent logic Residuated lattices Combinatorial circuits Semantics Formal 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. Fil:Busaniche, M. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_0955792X_v19_n6_p1019_Busaniche |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Constructive logic N4-lattices Paraconsistent Nelson's logic Residuated lattices with involution Twist-structures Algebraic semantic Constructive logic matrix Paraconsistent logic Residuated lattices Combinatorial circuits Semantics Formal logic |
spellingShingle |
Constructive logic N4-lattices Paraconsistent Nelson's logic Residuated lattices with involution Twist-structures Algebraic semantic Constructive logic matrix Paraconsistent logic Residuated lattices Combinatorial circuits Semantics Formal logic Busaniche, M. Cignoli, R. Residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
topic_facet |
Constructive logic N4-lattices Paraconsistent Nelson's logic Residuated lattices with involution Twist-structures Algebraic semantic Constructive logic matrix Paraconsistent logic Residuated lattices Combinatorial circuits Semantics Formal logic |
description |
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. |
format |
JOUR |
author |
Busaniche, M. Cignoli, R. |
author_facet |
Busaniche, M. Cignoli, R. |
author_sort |
Busaniche, M. |
title |
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
title_short |
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
title_full |
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
title_fullStr |
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
title_full_unstemmed |
Residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
title_sort |
residuated lattices as an algebraic semantics for paraconsistent nelson's logic |
url |
http://hdl.handle.net/20.500.12110/paper_0955792X_v19_n6_p1019_Busaniche |
work_keys_str_mv |
AT busanichem residuatedlatticesasanalgebraicsemanticsforparaconsistentnelsonslogic AT cignolir residuatedlatticesasanalgebraicsemanticsforparaconsistentnelsonslogic |
_version_ |
1782030342936330240 |