A Natural Deduction Sistem preserving falsity
Mostrar el registro completo del ítem
| Título: | A Natural Deduction Sistem preserving falsity |
| Autor: | Campos Sanz, Wagner de |
| Editorial: | Universidad de Ciencias Empresariales y Sociales (UCES) |
| Cita: | Campos Sanz, W. de (2005). A Natural Deduction Sistem preserving falsity. Energeia, 4(1-2), 215-220. |
| Palabras Clave: |
Matemáticas Lógica |
| 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: | http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/232 |
| Fecha: | 2005 |
Ficheros en el ítem
| Ficheros | Tamaño | Formato | Ver |
|---|---|---|---|
| A_Natural_Deduction_System.pdf | 268.8Kb | Ver/Abrir |
Este ítem aparece en la(s) siguiente(s) colección(ones)
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