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


Autoria(s): Prado, J.; Formigoni, C.; Callaos, N.; Lesso, W.; Nomura, S.; Zhang, J.
Contribuinte(s)

Universidade Estadual Paulista (UNESP)

Data(s)

20/05/2014

20/05/2014

01/01/2004

Resumo

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.

Formato

225-229

Identificador

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

http://hdl.handle.net/11449/37291

WOS:000227691900042

Idioma(s)

eng

Publicador

Int Inst Informatics & Systemics

Relação

8th World Multi-conference on Systemics, Cybernetics and Informatics, Vol Xiv, Proceedings

Direitos

closedAccess

Palavras-Chave #paraconsistent system #hardware #paraconsistent logic
Tipo

info:eu-repo/semantics/conferencePaper