Studies of paraconsistent logic DL-DQ=

Em nossa dissertação de mestrado, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO estávamos interessados na construção de um sistema deôntico paraconsistente a partir de uma lógica dialética e na introdução de operadores de interpretação na lógica clássica. A pesquisa atual pretende ampliar o uso de lógicas deônticas paraconsistentes para formalizações com quantificadores e operador de igualdade e apresentar a lógica DL-DQ=, como uma melhor formalização do que os sistemas input/out e algumas lógicas de proposições normativas. Pretendemos aplicar a lógica DL-DQ= na solução de paradoxos deônticos.In our masters dissertation, ESTUDOS SOBRE A LÓGICA PARACONSISTENTE DL E APLICAÇÕES EM DIREITO (Studies of Paraconsistent Logic DL and its applications in Law) we focused on establishing a paraconsistent deontic system based on specific dialectical logic and urging in interpretations symbols in classical logic. In this research we try to expand the paraconsistent deontic logic to formal languages with symbols for quantifiers and equality and to develop the logic DL-DQ= which we believe presents a better formalization, compared to two other system called Input\\Output and Normative Propositional Logics. We intend to apply DL-DQ= as tool to solve deontic paradoxes