A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

Prado, J.; Formigoni, C.

A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic

Date

2004-01-01

Authors

Prado, J.

Formigoni, C.

Publisher

Int Inst Informatics & Systemics

Type

Work presented at event

Access right

Acesso aberto

Abstract

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 application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.

Keywords

paraconsistent system, hardware, paraconsistent logic

Language

English

Citation

8th World Multi-conference on Systemics, Cybernetics and Informatics, Vol Xiv, Proceedings. Orlando: Int Inst Informatics & Systemics, p. 225-229, 2004.