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.

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)
id I30-R136123456789-232
record_format dspace
institution Universidad de Ciencias Empresariales y Sociales (UCES)
institution_str I-30
repository_str R-136
collection Repositorio Institucional (UCES)
language Inglés
topic Matemáticas
Lógica
spellingShingle Matemáticas
Lógica
Campos Sanz, Wagner de
A Natural Deduction Sistem preserving falsity
topic_facet Matemáticas
Lógica
description 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.
format Article
author Campos Sanz, Wagner de
author_facet Campos Sanz, Wagner de
author_sort Campos Sanz, Wagner de
title A Natural Deduction Sistem preserving falsity
title_short A Natural Deduction Sistem preserving falsity
title_full A Natural Deduction Sistem preserving falsity
title_fullStr A Natural Deduction Sistem preserving falsity
title_full_unstemmed A Natural Deduction Sistem preserving falsity
title_sort natural deduction sistem preserving falsity
publisher Universidad de Ciencias Empresariales y Sociales (UCES)
publishDate 2009
url http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/232
work_keys_str_mv AT campossanzwagnerde anaturaldeductionsistempreservingfalsity
AT campossanzwagnerde naturaldeductionsistempreservingfalsity
bdutipo_str Repositorios
_version_ 1764820522877583360

Ejemplares similares