Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.creator | Castiglioni, José Luis | - |
dc.creator | Ertola Biraben, Rodolfo Cristian | - |
dc.date | 2017-12-19T21:25:38Z | - |
dc.date | 2017-12-19T21:25:38Z | - |
dc.date | 2014-03 | - |
dc.date | 2017-12-12T18:24:34Z | - |
dc.date.accessioned | 2019-04-29T15:48:48Z | - |
dc.date.available | 2019-04-29T15:48:48Z | - |
dc.date.issued | 2014-03 | - |
dc.identifier | Ertola Biraben, Rodolfo Cristian; Castiglioni, José Luis; Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation; Oxford University Press; Logic Journal Of The Igpl (print); 22; 2; 3-2014; 268-273 | - |
dc.identifier | 1367-0751 | - |
dc.identifier | http://hdl.handle.net/11336/31077 | - |
dc.identifier | CONICET Digital | - |
dc.identifier | CONICET | - |
dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/302728 | - |
dc.description | In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove the finite model property and strict paraconsistency of this logic. | - |
dc.description | Fil: Castiglioni, José Luis. Universidad Nacional de La Plata; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina | - |
dc.description | Fil: Ertola Biraben, Rodolfo Cristian. Universidade Estadual de Campinas; Brasil | - |
dc.format | application/pdf | - |
dc.format | application/pdf | - |
dc.language | eng | - |
dc.publisher | Oxford University Press | - |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/22/2/268/702404 | - |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://doi.org/10.1093/jigpal/jzt027 | - |
dc.rights | info:eu-repo/semantics/restrictedAccess | - |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
dc.source | reponame:CONICET Digital (CONICET) | - |
dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
dc.source | instacron:CONICET | - |
dc.source.uri | http://hdl.handle.net/11336/53422 | - |
dc.subject | intuitionistic logic | - |
dc.subject | dual negation | - |
dc.subject | paraconsistency | - |
dc.subject | finite model property | - |
dc.subject | Matemática Pura | - |
dc.subject | Matemáticas | - |
dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
dc.title | Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.type | info:ar-repo/semantics/articulo | - |
Aparece en las colecciones: | CONICET |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.