Repositorio Institucional UCES
Repositorio Institucional de la Universidad de Ciencias Empresariales y Sociales.
Por favor, use este identificador para citar o enlazar este ítem:
https://dspace.uces.edu.ar/jspui/handle/123456789/232| Título : | A Natural Deduction Sistem preserving falsity |
| Autor : | Campos Sanz, Wagner de |
| Palabras clave : | Matemáticas Lógica |
| Fecha de publicación : | 2005 |
| Editorial : | Universidad de Ciencias Empresariales y Sociales (UCES) |
| Citación : | Campos Sanz, W. de (2005). A Natural Deduction Sistem preserving falsity. Energeia, 4(1-2), 215-220. |
| Resumen : | 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. |
| URI : | https://dspace.uces.edu.ar/jspui/handle/123456789/232 |
| Aparece en las colecciones: | Energeia. 2005, vol.4, n.1-2 |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| A_Natural_Deduction_System.pdf | 268.85 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
