Please use this identifier to cite or link to this item:
Type: Artigo de evento
Title: Unconventional Models Of Computation Through Non-standard Logic Circuits
Author: Agudelo J.C.
Carnielli W.
Abstract: The classical (boolean) circuit model of computation is generalized via polynomial ring calculus, an algebraic proof method adequate to non-standard logics (namely, to all truth-functional propcsitional logics and to some non-truth-functional logics). Such generalization allows us to define models of computation based on non-standard logics in a natural way by using 'hidden variables' in the constitution of the model. Paraconsistent circuits for the paraconsistent logic mbC (and for some extensions) are defined as an example of such models. Some potentialities are explored with respect to computability and computational complexity. © Springer-Verlag Berlin Heidelberg 2007.
Rights: fechado
Identifier DOI: 
Date Issue: 2007
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-38049031309.pdf211.6 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.