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

Detalhes bibliográficos
Autor(a) principal: Prado, J.
Data de Publicação: 2004
Outros Autores: Formigoni, C.
Tipo de documento: Artigo de conferência
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/37291
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.
id UNSP_579f3994efa684e43801b77f292dbc5d
oai_identifier_str oai:repositorio.unesp.br:11449/37291
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logicparaconsistent systemhardwareparaconsistent logicIt 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.Univ Estadual Paulista, ICET, Ribeirao Preto, SP, BrazilUniv Estadual Paulista, ICET, Ribeirao Preto, SP, BrazilInt Inst Informatics & SystemicsUniversidade Estadual Paulista (Unesp)Prado, J.Formigoni, C.2014-05-20T15:27:16Z2014-05-20T15:27:16Z2004-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObject225-2298th 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/37291WOS:000227691900042Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPeng8th World Multi-conference on Systemics, Cybernetics and Informatics, Vol Xiv, Proceedingsinfo:eu-repo/semantics/openAccess2021-10-23T21:41:22Zoai:repositorio.unesp.br:11449/37291Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462021-10-23T21:41:22Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
title A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
spellingShingle A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
Prado, J.
paraconsistent system
hardware
paraconsistent logic
title_short A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
title_full A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
title_fullStr A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
title_full_unstemmed A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
title_sort A new proposal of Arithmetic Logic Unit (ALU) to work with paraconsistent annotated logic
author Prado, J.
author_facet Prado, J.
Formigoni, C.
author_role author
author2 Formigoni, C.
author2_role author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Prado, J.
Formigoni, C.
dc.subject.por.fl_str_mv paraconsistent system
hardware
paraconsistent logic
topic paraconsistent system
hardware
paraconsistent logic
description 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.
publishDate 2004
dc.date.none.fl_str_mv 2004-01-01
2014-05-20T15:27:16Z
2014-05-20T15:27:16Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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
identifier_str_mv 8th World Multi-conference on Systemics, Cybernetics and Informatics, Vol Xiv, Proceedings. Orlando: Int Inst Informatics & Systemics, p. 225-229, 2004.
WOS:000227691900042
url http://hdl.handle.net/11449/37291
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 8th World Multi-conference on Systemics, Cybernetics and Informatics, Vol Xiv, Proceedings
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 225-229
dc.publisher.none.fl_str_mv Int Inst Informatics & Systemics
publisher.none.fl_str_mv Int Inst Informatics & Systemics
dc.source.none.fl_str_mv Web of Science
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1799965390108884992

Registros relacionados