Para uma teoria de traduções entre logicas cumulativas
AUTOR(ES)
Mauro Cesar Scheer
DATA DE PUBLICAÇÃO
2002
RESUMO
There are countless situations in the real world in which we necessarily deal without a complete knowledge. Sometimes we have to make decisions that we think to be the most correct ones which are confirmed by an incomplete set of information, in other words, we infer "plausible" and "consistent" conclusions based on our actual knowledge. A formalism to think in an efficient way on an incomplete knowledge base should be able to admit expressions of general validity, to recognize and to assimilate exceptions when necessary. The non-monotonic logics are appropriate to the kind of formalism that we are referring to. But what are the minimum properties that characterize the non-monotonicity of certain logics? The properties considered essential to non-monotonic systems will be presented in this study, together with an analysis of the relation ships among them. In the first chapters we present the family of cumulative operators and, from the distributive, deductive and supracompact properties, we present other families of cumulative operators. In an intermediate chapter the concept of cumulative logic is presented. The last chapter is dedicated to the study of translations (conservative translations) between cumulative logics. We look for to establishing results that characterize the existence of translations (conservative translations) between cumulative logics and results that allow us to determine which properties are preserved from the logics involved in such translations
ASSUNTO(S)
logica logica matematica não-classica
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000284889Documentos Relacionados
- Para uma análise das relações entre famílias populares e escola: confrontação entre lógicas socializadoras
- Psicologia eidética e teoria do conhecimento nas Investigações lógicas de Husserl
- ENTRE CONTINENTES: AS TRADUÇÕES DE AGATHA CHRISTIE COMO MEDIADORES INTERCULTURAIS
- Os princípios constitucionais entre deontologia e axiologia: pressupostos para uma teoria hermenêutica democrática
- O conceito de modo de vida: entre traduções, definições e discussões