Please use this identifier to cite or link to this item:
https://dspace.uces.edu.ar/jspui/handle/123456789/232
Title: | A Natural Deduction Sistem preserving falsity |
Authors: | Campos Sanz, Wagner de |
Keywords: | Matemáticas Lógica |
Issue Date: | 2005 |
Publisher: | Universidad de Ciencias Empresariales y Sociales (UCES) |
Citation: | Campos Sanz, W. de (2005). A Natural Deduction Sistem preserving falsity. Energeia, 4(1-2), 215-220. |
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. |
URI: | https://dspace.uces.edu.ar/jspui/handle/123456789/232 |
Appears in Collections: | Energeia. 2005, vol.4, n.1-2 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A_Natural_Deduction_System.pdf | 268.85 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License