Please use this identifier to cite or link to this item: https://dspace.uces.edu.ar/jspui/handle/123456789/232
Full metadata record
DC FieldValueLanguage
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
Appears in Collections:Energeia. 2005, vol.4, n.1-2

Files in This Item:
File Description SizeFormat 
A_Natural_Deduction_System.pdf268.85 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons