Buscar
Mostrando ítems 1-10 de 57
Annotated temporal logics Delta*tau
(Springer, 2000-01-01)
In this paper we present a class of paraconsistent temporal system Delta*tau which may constitute, for instance, a framework for paraconsistent temporal reasoning. We establish the completeness of Delta*tau using the Kripke ...
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
(Oxford University Press, 2014-03)
In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa ...
Paraconsistent artificial neural networks: An introduction
(Springer, 2004-01-01)
In this work we sketch a new theory of artificial neural network, based on a paraconsistent annotated logic Etau. Such theory, called Paraconsistent Artificial Neural Network - PANN - is built from the algorithm Para-analyzer ...
Paraconsistent Machines and their Relation to Quantum Computing
(Oxford Univ PressOxfordInglaterra, 2010)
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
(Oxford Univ PressOxfordInglaterra, 2014)
Paraconsistent Autonomous Mobile Robot Emmy III
(IOS Press, 2009-01-01)
This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic ET. A discussion on navigation system is presented.
Para-fuzzy logic controller
(Springer, 2004-01-01)
In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...
Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
(Springer, 2003-01-01)
In this paper, we introduce an intelligent real-time traffic signal control system based on a paraconsistent logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), that can deal ...