Logicas da inconsistencia formal quantificadas / Quantified logics of formal inconsistency
AUTOR(ES)
Rodrigo Podiacki
DATA DE PUBLICAÇÃO
2008
RESUMO
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
ASSUNTO(S)
first-order logic modelos semantics (philosophy) models logica de primeira ordem structure semantica (filosofia)