Dedução Natural e Cálculo de Seqüentes para Geralmente
Autores
|
4093 |
1822,273,105
|
|
|
4094 |
1822,273,105
|
|
|
4095 |
1822,273,105
|
Informações:
Publicações do PESC
As lógicas de "geralmente" (LG's) foram introduzidas para tratar de maneira formal e precisa afirmações com noções vagas, tais como, "geralmente", "muitos" etc, que ocorrem frequentemente em linguagem natural e em muitos ramos da ciência. As LG's capturam as distintas noções de "geralmente", isto é, constrói-se uma lógica específica para cada uma das noções de "geralmente". Nesta tese apresentamos sistemas dedutivos no estilo de dedução natural e cálculo de sequentes para as LG's, mostramos o resultado de normalização e a consistência para os diferentes sistemas de dedução natural e examinamos o resultado de eliminação do corte para os diversos cálculos de sequentes.
Logics for `generally' (LG's) were introduced for handling assertions with vague notions (e.g. `generally', `most', `several'), which occur often in ordinary language and in science. LG's provide a framework for distinct notions of `generally': one builds a speci c logic for the notion one has in mind. In this thesis we present deductive systems, in natural deduction and sequent calculus style for LG's. We show that these natural deduction systems are normalizable and consistent. We examine cut elimination in the several sequent calculi.