Show simple item record

dc.contributor.authorBarrero, Tomásspa
dc.contributor.authorCarnielli, Walterspa
dc.date.accessioned2011-10-13T19:37:02Z
dc.date.available2011-10-13T19:37:02Z
dc.date.issued2011-10-13
dc.identifier.urihttp://hdl.handle.net/10893/1718
dc.description.abstractUsando como motivación la objeción de H. Curry y una propuesta de L. Henkin, el artículo introduce los tableaux positivos, una forma de tableaux sin refutación construidos a partir de la idea de trivialidad implicativa. Se establece el teorema de completitud que garantiza un nuevo proceso de decisión para la lógica positiva clásica. Se introduce también el concepto de paratrivialidad como posible respuesta a paradojas y limitaciones de la implicación clásica.spa
dc.language.isoesspa
dc.subjectLógica positivaspa
dc.subjectTrivialidad implicativaspa
dc.subjectParatrivialidadspa
dc.subjectTableaux positivosspa
dc.titleTableaux sin refutación.spa
dc.typeArtículo de revistaspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record