Extensões probabilísticas de fragmentos da lógica de primeira ordem
Arbitrariedade e genericidade: ou sobre como falar do indizível
Aspectos lógicos e ontológicos de uma aritmética generalizada
Texto completo | |
Autor(es): |
Coniglio, Marcelo E.
;
Peron, Newton M.
Número total de Autores: 2
|
Tipo de documento: | Artigo Científico |
Fonte: | LOGICA UNIVERSALIS; v. 7, n. 1, p. 16-pg., 2013-03-01. |
Resumo | |
In this paper we introduce non-normal modal extensions of the sub-classical logics CLoN, CluN and CLaN, in the same way that S0.5(0) extends classical logic. The first modal system is both paraconsistent and paracomplete, while the second one is paraconsistent and the third is paracomplete. Despite being non-normal, these systems are sound and complete for a suitable Kripke semantics. We also show that these systems are appropriate for interpreting (sic) as "is provable in classical logic". This allows us to recover the theorems of propositional classical logic within three sub-classical modal systems. (AU) | |
Processo FAPESP: | 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS |
Beneficiário: | Walter Alexandre Carnielli |
Modalidade de apoio: | Auxílio à Pesquisa - Temático |
Processo FAPESP: | 09/10239-5 - Um estudo da Lógica Modal paraconsistente avançada |
Beneficiário: | Newton Marques Peron |
Modalidade de apoio: | Bolsas no Brasil - Doutorado |