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.pdf268.85 kBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons