Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

dc.creatorCastiglioni, José Luis
dc.creatorErtola Biraben, Rodolfo Cristian
dc.date.accessioned2017-12-19T21:25:38Z
dc.date.accessioned2018-11-06T11:30:03Z
dc.date.available2017-12-19T21:25:38Z
dc.date.available2018-11-06T11:30:03Z
dc.date.created2017-12-19T21:25:38Z
dc.date.issued2014-03
dc.identifierErtola 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.identifier1367-0751
dc.identifierhttp://hdl.handle.net/11336/31077
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1853562
dc.description.abstractIn 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.languageeng
dc.publisherOxford University Press
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/22/2/268/702404
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://doi.org/10.1093/jigpal/jzt027
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectintuitionistic logic
dc.subjectdual negation
dc.subjectparaconsistency
dc.subjectfinite model property
dc.titleStrict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
dc.typeArtículos de revistas
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución