Login

A Natural Deduction Sistem preserving falsity

pepe

DSpace/Manakin Repository

A Natural Deduction Sistem preserving falsity

Show full item record

Title: A Natural Deduction Sistem preserving falsity
Author: 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
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: http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/232
Date: 2005


Files in this item

Files Size Format View
A_Natural_Deduction_System.pdf 268.8Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina Except where otherwise noted, this item's license is described as Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina

Search DSpace


Advanced Search

Browse

My Account