Remarks on an algebraic semantics for paraconsistent Nelson's logic | ||
| dc.conicet.fuente | unificacion | |
| dc.conicet.organizacion | Instituto de Matemática Aplicda del Litoral | |
| dc.conicet.organizacion | 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 | |
| dc.conicet.organizacion | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática | |
| dc.conicet.organizacion | 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 | |
| dc.conicet.paisOrganizacion | Argentina | |
| dc.conicet.paisOrganizacion | Argentina | |
| dc.conicet.paisOrganizacion | Argentina | |
| dc.conicet.paisOrganizacion | Argentina | |
| dc.conicet.produccionid | 4459203 | |
| dc.contributor.author | Busaniche, Manuela | |
| dc.contributor.author | Cignoli, Roberto Leonardo Oscar | |
| dc.date.accessioned | 2019-01-11T21:41:12Z | |
| dc.date.available | 2019-01-11T21:41:12Z | |
| dc.date.issued | 2011-03 | |
| dc.date.updated | 2019-01-11T18:43:25Z | |
| dc.description.abstract | In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices. | es |
| dc.description.fil | Fil: Busaniche, Manuela. Instituto de Matemática Aplicda del Litoral; Argentina. 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: Cignoli, Roberto Leonardo Oscar. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. 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.format | application/pdf | es |
| dc.identifier.citation | Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar; Remarks on an algebraic semantics for paraconsistent Nelson's logic; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 34; 1; 3-2011; 99-114 | es |
| dc.identifier.institucional | CONICET | |
| dc.identifier.issn | 0100-6045 | es |
| dc.identifier.repo | CONICET Digital | |
| dc.identifier.uri | http://hdl.handle.net/11336/67950 | |
| dc.journal.ciudad | Campinas | es |
| dc.journal.number | 1 | es |
| dc.journal.pagination | 99-114 | es |
| dc.journal.pais | Brasil | es |
| dc.journal.title | Manuscrito | es |
| dc.journal.volume | 34 | es |
| dc.language.iso | eng | es |
| dc.publisher | Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência | es |
| dc.relation.alternativeid | info:eu-repo/semantics/altIdentifier/url/http://ref.scielo.org/7yn5zs | |
| dc.relation.alternativeid | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1590/S0100-60452011000100005 | |
| dc.rights | info:eu-repo/semantics/openAccess | * |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | * |
| dc.subject | Nelson Logic | es |
| dc.subject | Paraconsistency | es |
| dc.subject | Residuated Lattices | es |
| dc.subject | Substructural Logics | es |
| dc.subject.classification | Matemática Pura | es |
| dc.subject.classification | Matemáticas | es |
| dc.subject.classification | CIENCIAS NATURALES Y EXACTAS | es |
| dc.title | Remarks on an algebraic semantics for paraconsistent Nelson's logic | es |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:ar-repo/semantics/artículo | |
| dc.type | info:eu-repo/semantics/publishedVersion | |
Archivos
Bloque original
Cargando...
- Nombre:
- CONICET_Digital_Nro.7e77b23e-b549-4371-b79a-e2e8adbc2d72_A.pdf
- Tamaño:
- 376.08 KB
- Formato:
- Adobe Portable Document Format