A natural deduction system preserving falsity
Carregando...
Data
2005
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
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.
Descrição
Palavras-chave
Natural deduction, Falsity, Falsity preservation, Logical constants
Citação
SANZ, Wagner Campos. A natural deduction system preserving falsity. Energeia, Buenos Aires, v. 4, n. 1, p. 215-220, 2005.