Resumo: 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 Ver menos

Abstract: In this dissertation I present adequate game semantics for the logics of formal inconsistency (LFIs) known as mbC and mbCciw, and then discuss how those semantics allow the rigorous construction of examples that illustrate the pragmatics of those logics. From a technical point of view, to obtain those game semantics it was necessary to introduce an artifice, here called instantiations, in order to force a form of compositionality upon the non-deterministic logical operations of mbC and mbCciw. From a philosophical point of view, those results allowed of interest a concrete comparison of the distinct motivations and consequences of the style of paraconsistency of those two LIFs with that of the paraconsistent logic known as LP Ver menos