if ($_GET['lang']=="en")
echo "My Ph.D. Thesis";
else
echo "Minha Tese de Doutorado";
?>
if ($_GET['lang']=="en")
{ ?>
Lógicas da Inconsistência e da Incompletude:
Semântica e Axiomática, by Arthur Buchsbaum
PhD Thesis
Pontifical Catholic University of Rio de Janeiro, 1995.
Abstract: A family of logics suitable for inconsistency
and incompleteness is defined. This family is formed by paraconsistent logics,
paracomplete logics, and non alethic logics, besides the Logic of Epistemic
Inconsistency (LEI) and the Logic of Skeptical Deduction (LSD), elaborated
for formalization of reasoning in presence of plausible knowledge, reflecting
respectively credulous and skeptical attitudes, with respect to knowledge.
For each one of these logics is given a semantics and an axiomatics. Two
alternatives of default rule-generated extensions are defined, forming non
monotonic logics based respectively on LEI and LSD, suitable to some inductive
reasoning forms.
Lógicas da Inconsistência e da Incompletude:
Semântica e Axiomática, de Arthur Buchsbaum
Tese de Doutorado em Informática
Pontifícia Universidade Católica do Rio de Janeiro, 1995.
Resumo: Uma família de lógicas adequadas para o tratamento
da inconsistência e da incompletude é definida, entre elas duas lógicas
elaboradas para a formalização da plausibilidade. Para cada uma destas lógicas
é dada uma semântica e uma axiomática. Duas alternativas de extensões geradas
por defaults são especificadas, formando lógicas não monotônicas aptas para
algumas formas de raciocínio indutivo.