Buscar
Mostrando ítems 1-10 de 195
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 ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2004-01-01)
It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2004-01-01)
It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the ...
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 ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2014)
An alternative approach for quasi-truth
(Oxford University Press, 2014)
Remarks on paraconsistent decision making theory
(Int Inst Informatics & Systemics, 2003-01-01)
In this expository work we show how the para-analyzer can be useful to a variety of applications involving decision making when facing mainly with uncertainty, inconsistent or paracomplete information. The Para-analyzer ...
Paraconsistent annotated logic in viability analysis: an approach to product launching
(Amer Inst Physics, 2004-01-01)
In this paper we present an application of the Para-analyzer, a logical analyzer based on the Paraconsistent Annotated Logic Ptau, introduced by Da Silva Filho and Abe in the decision-making systems. An example is analyzed ...
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 ...
Two Applications of Paraconsistent Logical Controller
(Springer, 2008-01-01)
In this paper we discuss two applications of the logical controller Paracontrol. Such controller is based on Paraconsistent Annotated Logic and it is capable of manipulating imprecise, inconsistent and paracompete data.