Mostrar el registro sencillo del ítem

dc.contributor.author
Aguzzoli, Stefano  
dc.contributor.author
Busaniche, Manuela  
dc.contributor.author
Gerla, Brunella  
dc.contributor.author
Marcos, Miguel  
dc.date.available
2017-12-18T15:03:39Z  
dc.date.issued
2017-10  
dc.identifier.citation
Marcos, Miguel; Gerla, Brunella; Busaniche, Manuela; Aguzzoli, Stefano; On the category of Nelson paraconsistent lattices; Oxford University Press; Journal Of Logic And Computation; 27; 7; 10-2017; 2227-2250  
dc.identifier.issn
0955-792X  
dc.identifier.uri
http://hdl.handle.net/11336/30865  
dc.description.abstract
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and a category of pairs of Brouwerian algebras and regular filters. Specializing such category of pairs to Gödel hoops, we get the subvariety of GödelNPc-lattices and, using the dual equivalence of finite Gödel hoops with finite trees, we obtain a duality for finite Gödel NPc-lattices. This duality is used to describe finitely generated free Gödel NPc-lattices.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Oxford University Press  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Nelson Paraconsistent Lattices  
dc.subject
Brouwerian Algebras  
dc.subject
Gödel Hoops  
dc.subject
Dual Equivalences  
dc.subject
Free Algebras  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
On the category of Nelson paraconsistent lattices  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2017-12-12T18:15:44Z  
dc.journal.volume
27  
dc.journal.number
7  
dc.journal.pagination
2227-2250  
dc.journal.pais
Reino Unido  
dc.journal.ciudad
Oxford  
dc.description.fil
Fil: Aguzzoli, Stefano. Università degli Studi di Milano; Italia  
dc.description.fil
Fil: Busaniche, Manuela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina  
dc.description.fil
Fil: Gerla, Brunella. University of Insubria; Italia  
dc.description.fil
Fil: Marcos, Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina  
dc.journal.title
Journal Of Logic And Computation  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/logcom/exx002  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/logcom/article-abstract/27/7/2227/3063756?redirectedFrom=fulltext  

Archivos asociados
Thumbnail
 
Tamaño: 212.5Kb
Formato: PDF
.