A Natural Deduction Sistem preserving falsity
Mostrar el registro sencillo del ítem
dc.contributor.author |
Campos Sanz, Wagner de |
|
dc.date.accessioned |
2009-04-06T16:26:44Z |
|
dc.date.available |
2009-04-06T16:26:44Z |
|
dc.date.issued |
2005 |
|
dc.identifier.citation |
Campos Sanz, W. de (2005). A Natural Deduction Sistem preserving falsity. Energeia, 4(1-2), 215-220. |
en |
dc.identifier.uri |
http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/232 |
|
dc.description.abstract |
This 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.mimetype |
application/pdf |
en |
dc.language.iso |
en |
en |
dc.publisher |
Universidad de Ciencias Empresariales y Sociales (UCES) |
es |
dc.rights |
Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina |
es |
dc.rights.uri |
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/deed.es_AR |
es |
dc.source |
Energeia, 4(1-2), 215-220 (2005) |
en |
dc.subject |
Matemáticas |
es |
dc.subject |
Lógica |
es |
dc.title |
A Natural Deduction Sistem preserving falsity |
en |
dc.type |
Article |
es |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
Mostrar el registro sencillo del ítem
Excepto si se señala otra cosa, la licencia del ítem se describe como Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina