BDBComp
Parceria:
SBC
Fuzzy modal logics of confluence

Adriano Alves DodóJoão Marcos

In this paper we explore fuzzy semantics for a wide class of normal modal systems enriched with multiple instances of the axiom of confluence and prove a general completeness result for such systems.

http://www.lbd.dcc.ufmg.br/colecoes/cbsf/2012/0026.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