Buscar
Mostrando ítems 1-10 de 61
Paraconsistent Machines and their Relation to Quantum Computing
(Oxford Univ PressOxfordInglaterra, 2010)
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 ...
A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
(Int Inst Informatics & Systemics, 2014)
An Analyzer of Computer Network Logs Based on Paraconsistent Logic
(Springer, 2015-01-01)
In recent years, the network vulnerability events draw the attention to the issue of the information management on the World Wide Web. The detected vulnerability was not only restricted to individuals, but also to enterprises ...
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 ...
Decision Making Method Based on Paraconsistent Annotated Logic and Statistical Method: a Comparison
(Amer Inst Physics, 2008-01-01)
Presently, there are new kinds of logic capable of handling uncertain and contradictory data without becoming trivial. Decision making theories based on these logics have shown to be powerful in many aspects regarding more ...
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 ...
Paraconsistent Set Theory By Predicating On Consistency
(OXFORD UNIV PRESSOXFORD, 2016)
Paraconsistent Set Theory By Predicating On Consistency
(Oxford Univ PressOxford, 2016)