A Natural Deduction Sistem preserving falsity
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.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo |
| Lenguaje: | Inglés |
| Publicado: |
Universidad de Ciencias Empresariales y Sociales (UCES)
2009
|
| Materias: | |
| Acceso en línea: | http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/232 |
| Aporte de: |
| Sumario: | 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. |
|---|