if ($_GET['lang']=="en")
echo "My Master Thesis";
else
echo "Minha Dissertação de Mestrado";
?>
if ($_GET['lang']=="en")
{ ?>
Um Método Automático de Prova para a Lógica
Paraconsistente, by Arthur Buchsbaum
MSc Dissertation
Pontifical Catholic University of Rio de Janeiro, 1988.
Abstract: Tableau systems and their implementation for
a sentential and for a quantificational version of a paraconsistent logic
defined by da Costa, together with correction and completeness theorems
of these systems with respect to the semantics of these logics.
Um Método Automático de Prova para a Lógica
Paraconsistente, de Arthur Buchsbaum
Dissertação de Mestrado em Informática
Pontifícia Universidade Católica do Rio de Janeiro, 1988.
Resumo: Sistemas de tableaux e implementação para uma
versão sentencial e para uma versão quantificacional de uma lógica paraconsistente
definida por da Costa, bem como teoremas de correção e completude destes
sistemas com respeito às semânticas destas lógicas.