BDBComp
Parceria:
SBC
Annotated Temporal Logics Delta*tau

Jair Minoro AbeSeiki Akama

In this paper we present a class of paraconsistent temporal system which may constitute, for instance, a framework for paraconsistent temporal reasoning. We establish the completeness of using the Kripke semantics. The proposed temporal logic subsumes the classical one with the advantage of handling inconsistency.

http://www.springerlink.com/content/ve3np220m0qd15kh/

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