BDBComp
Parceria:
SBC
Sobre lógicas para Geralmente em ambiente de Dedução Natural

Leonardo B. VanaPaulo A. S. VelosoSheila R. M. Veloso

We present deductive systems, in a natural deduction style, for Logics for Generally (LG’s), providing a proof strategy for theses logics. LG’s were introduced for handling assertions with vague notions, such as ‘generally’, ‘most’, ‘several’, etc., which occur frequently in ordinary language and in some branches of science. These deductive systems are obtained by adding new rules to a Natural Deduction System for First-Order Logic and are normalizable.

http://www.lbd.dcc.ufmg.br/colecoes/enia/2005/005.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD