Defesa de Mestrado de Pedro Henrique Carrasqueira Zanei

Nesta dissertação apresento semânticas de jogos adequadas para as lógicas de inconsistências formal (LIFs) conhecidas como mbC e mbCciw, e então discuto como essas semânticas permitem a construção rigorosa de exemplos que ilustram a pragmática dessas lógicas. De um ponto de vista técnico, para se obterem essas semânticas de jogos fez-se necessária a introdução de um artifício, aqui o denominado instanciações, a fim de forçar uma forma de composicionalidade às operações lógicas não-determinísticas de mbC e mbCciw. De um ponto de vista filosófico, esses resultados permitiram, de interesse, a comparação concreta das distintas motivações e consequências do estilo de paraconsistência dessas duas LIFs com o da lógica paraconsistente conhecida como LP.