if ($_GET['lang']=="en")
echo "Technical Reports";
else
echo "Relatórios Técnicos";
?>
if ($_GET['lang']=="en")
{ ?>
Uma Família de Lógicas Paraconsistentes
e/ou Paracompletas com Semânticas Recursivas, by Arthur Buchsbaum and Tarcisio Pequeno
Published previously by Monografias em Ciência
da Computação, v. 5, Department of Informatics, Pontifical Catholic
University of Rio de Janeiro, 1991.
Republished by Collection Documentos, Series Lógica e Teoria da Ciência,
Institute of Advanced Studies, University of São Paulo, v. 14, 59 pages,
1993.
Abstract: A new generation of paraconsistent and/or paracomplete
logics, descending from some logics of the same kind defined by Newton C.
A. da Costa, and a monotonic basis adequate for a logic of defaults.
Um Método Automático de Prova para a Lógica
Polissortida Deôntica de Ações, by Paulo Sérgio Conceição
Alencar and Arthur Buchsbaum
Monografias em Ciência da Computação,
v. 15, 22 pages, Department of Informatics, Pontifical Catholic University
of Rio de Janeiro, 1989.
Abstract: A tableau system for a logic of actions, suitable
for representing a process of software evolution.
} else { ?>
Uma Família de Lógicas Paraconsistentes
e/ou Paracompletas com Semânticas Recursivas, de Arthur Buchsbaum e Tarcisio Pequeno
Publicado anteriormente por Monografias em
Ciência da Computação, v. 5, Departamento de Informática,
Pontifícia Universidade Católica do Rio de Janeiro, 1991.
Republicado por Coleção Documentos, Série de Lógica e Teoria da Ciência, Instituto
de Estudos Avançados, Universidade de São Paulo, v. 14, 59 páginas,
1993.
Resumo: Uma nova geração de lógicas
paraconsistentes e/ou paracompletas, descendentes de algumas das lógicas
de mesma espécie elaboradas por Newton C. A. da Costa, bem como uma
base monotônica adequada para uma lógica de defaults.