Show simple item record

A Natural Deduction Sistem preserving falsity

dc.contributor.authorCampos Sanz, Wagner de
dc.date.accessioned2009-04-06T16:26:44Z
dc.date.available2009-04-06T16:26:44Z
dc.date.issued2005
dc.identifier.citationCampos Sanz, W. de (2005). A Natural Deduction Sistem preserving falsity. Energeia, 4(1-2), 215-220.en
dc.identifier.urihttps://dspace.uces.edu.ar/jspui/handle/123456789/232
dc.description.abstractThis paper presents a natural deduction system preserving falsity. This new system will provide us with means of reviewing a criticism made several years ago by Prior, directed against the semantical definition of logical constants by introduction and elimination rules.en
dc.format.mimetypeapplication/pdfen
dc.language.isoenen
dc.publisherUniversidad de Ciencias Empresariales y Sociales (UCES)es
dc.rightsEsta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentinaes
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/ar/deed.es_ARes
dc.sourceEnergeia, 4(1-2), 215-220 (2005)en
dc.subjectMatemáticases
dc.subjectLógicaes
dc.titleA Natural Deduction Sistem preserving falsityen
dc.typeArticlees


Files in this item

Thumbnail
Name:
A_Natural_Deduction_System.pdf
Size:
268.8Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina
Except where otherwise noted, this item's license is described as Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina