Jair Minoro Abe,  Seiki 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/

Processando consulta.