A natural deduction system preserving falsity
| dc.creator | Sanz, Wagner de Campos | |
| dc.date.accessioned | 2020-01-21T12:49:44Z | |
| dc.date.available | 2020-01-21T12:49:44Z | |
| dc.date.issued | 2005 | |
| dc.description.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. | pt_BR |
| dc.identifier.citation | SANZ, Wagner Campos. A natural deduction system preserving falsity. Energeia, Buenos Aires, v. 4, n. 1, p. 215-220, 2005. | pt_BR |
| dc.identifier.issn | e- 1666-5732 | |
| dc.identifier.uri | http://repositorio.bc.ufg.br/handle/ri/18536 | |
| dc.language.iso | eng | pt_BR |
| dc.publisher.country | Argentina | pt_BR |
| dc.publisher.department | Faculdade de Filosofia - FAFIL (RG) | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject | Natural deduction | pt_BR |
| dc.subject | Falsity | pt_BR |
| dc.subject | Falsity preservation | pt_BR |
| dc.subject | Logical constants | pt_BR |
| dc.title | A natural deduction system preserving falsity | pt_BR |
| dc.type | Artigo | pt_BR |
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- Artigo - Wagner de Campos Sanz - 2005.pdf
- Tamanho:
- 268.85 KB
- Formato:
- Adobe Portable Document Format
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: