A Natural Deduction Sistem preserving falsity

Mostrar todas las versiones(2)

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:
Detalles Bibliográficos
Autor principal: Campos Sanz, Wagner de
Formato: Artículo
Lenguaje:Inglés
Publicado: Universidad de Ciencias Empresariales y Sociales (UCES) 2009
Materias:
Matemáticas
Lógica
Acceso en línea:http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/232
Aporte de:
Repositorio Institucional (UCES) de Universidad de Ciencias Empresariales y Sociales (UCES)

Ejemplares similares

Ejemplares similares