Search
Now showing items 1-10 of 106
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)
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 ...
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Paraconsistent Machines and their Relation to Quantum Computing
(Oxford Univ PressOxfordInglaterra, 2010)
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.
Music Genre Classification Based on Paraconsistency
(Destech Publications, Inc, 2015-01-01)
This work aims to build an intelligent system for Music Genre Classification (MGC) based on Para-consistent Annotated Logic (LPA). Using a database composed of representative samples of songs from different styles, namely ...