Logicas da inconsistencia formal quantificadas
Quantified logics of formal inconsistency
| dc.creator | Podiacki, Rodrigo | |
| dc.date | 2008 | |
| dc.date | 2017-06-01T17:12:36Z | |
| dc.date | 2017-07-14T19:57:33Z | |
| dc.date | 2017-06-01T17:12:36Z | |
| dc.date | 2017-07-14T19:57:33Z | |
| dc.date.accessioned | 2018-03-29T04:03:51Z | |
| dc.date.available | 2018-03-29T04:03:51Z | |
| dc.identifier | PODIACKI, Rodrigo. Logicas da inconsistencia formal quantificadas. 2008. 86 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/281585 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1340334 | |
| dc.description | Orientador: Walter Carnielli | |
| dc.description | Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas | |
| dc.description | Resumo: Esta dissertação tem como objetivo desenvolver uma semântica correta e completa para uma classe de lógicas de primeira ordem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, uma LIF particular, chamada QmbC, será caracterizada axiomaticamente. Em seguida será construída uma semÂntica que se demonstrará correta e completa para a LIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas. | |
| dc.description | Abstract: This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be constructed. Finally, a variety of LFIs having nice syntactic properties will be axiomatically defined, and it will be shown how the semantics proposed for QmbC can be extended for all these logics. | |
| dc.description | Mestrado | |
| dc.description | Filosofia | |
| dc.description | Mestre em Filosofia | |
| dc.format | 86 p. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Semântica (Filosofia) | |
| dc.subject | Logica de primeira ordem | |
| dc.subject | Modelos | |
| dc.subject | Semantics (Philosophy) | |
| dc.subject | First-order logic | |
| dc.subject | Structure, models | |
| dc.title | Logicas da inconsistencia formal quantificadas | |
| dc.title | Quantified logics of formal inconsistency | |
| dc.type | Tesis |