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
Autor principal: Busaniche, Manuela
Publicado: 2009
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: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:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_0955792X_v19_n6_p1019_Busaniche
record_format dspace
spelling paper:paper_0955792X_v19_n6_p1019_Busaniche2023-06-08T15:55:55Z Residuated lattices as an algebraic semantics for paraconsistent nelson's logic Busaniche, Manuela 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. 2009 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
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, Manuela
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.
author Busaniche, Manuela
author_facet Busaniche, Manuela
author_sort Busaniche, Manuela
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
publishDate 2009
url 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
work_keys_str_mv AT busanichemanuela residuatedlatticesasanalgebraicsemanticsforparaconsistentnelsonslogic
_version_ 1768545794975072256

Ejemplares similares