{"id":"https://openalex.org/W1980401455","doi":"https://doi.org/10.1093/logcom/exp072","title":"Paraconsistent Machines and their Relation to Quantum Computing","display_name":"Paraconsistent Machines and their Relation to Quantum Computing","publication_year":2009,"publication_date":"2009-11-10","ids":{"openalex":"https://openalex.org/W1980401455","doi":"https://doi.org/10.1093/logcom/exp072","mag":"1980401455"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp072","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp072","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108397423","display_name":"Juan C. Agudelo","orcid":"https://orcid.org/0009-0002-9642-2496"},"institutions":[{"id":"https://openalex.org/I181391015","display_name":"Universidade Estadual de Campinas (UNICAMP)","ror":"https://ror.org/04wffgt70","country_code":"BR","type":"education","lineage":["https://openalex.org/I181391015"]},{"id":"https://openalex.org/I4210137482","display_name":"Applied Logic Laboratory (Hungary)","ror":"https://ror.org/04kpvds24","country_code":"HU","type":"company","lineage":["https://openalex.org/I4210137482"]},{"id":"https://openalex.org/I862322245","display_name":"Universidad EAFIT","ror":"https://ror.org/03y3y9v44","country_code":"CO","type":"education","lineage":["https://openalex.org/I862322245"]}],"countries":["BR","CO","HU"],"is_corresponding":false,"raw_author_name":"J. C. Agudelo","raw_affiliation_strings":["Ph.D. Program in Philosophy, area of Logic, IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Logic and Computation Research Group, Eafit University, Colombia","Ph.D. Program in Philosophy, area of Logic, IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Logic and Computation Research Group, Eafit University, Colombia.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ph.D. Program in Philosophy, area of Logic, IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Logic and Computation Research Group, Eafit University, Colombia","institution_ids":["https://openalex.org/I4210137482","https://openalex.org/I181391015"]},{"raw_affiliation_string":"Ph.D. Program in Philosophy, area of Logic, IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Logic and Computation Research Group, Eafit University, Colombia.E-mail:","institution_ids":["https://openalex.org/I862322245","https://openalex.org/I181391015"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113715279","display_name":"Walter Carnielli","orcid":null},"institutions":[{"id":"https://openalex.org/I181391015","display_name":"Universidade Estadual de Campinas (UNICAMP)","ror":"https://ror.org/04wffgt70","country_code":"BR","type":"education","lineage":["https://openalex.org/I181391015"]},{"id":"https://openalex.org/I4210166406","display_name":"Quantum Technologies (Sweden)","ror":"https://ror.org/05d5rz672","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210166406"]}],"countries":["BR","SE"],"is_corresponding":false,"raw_author_name":"W. Carnielli","raw_affiliation_strings":["IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Security and Quantum Information Group\u2013IT, Lisbon, Portugal","IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Security and Quantum Information Group\u2013IT, Lisbon, Portugal.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Security and Quantum Information Group\u2013IT, Lisbon, Portugal","institution_ids":["https://openalex.org/I4210166406","https://openalex.org/I181391015"]},{"raw_affiliation_string":"IFCH and Group for Applied and Theoretical Logic\u2013CLE, State University of Campinas\u2013UNICAMP, Brazil. Security and Quantum Information Group\u2013IT, Lisbon, Portugal.E-mail:","institution_ids":["https://openalex.org/I181391015"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.0636,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.75956074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"20","issue":"2","first_page":"573","last_page":"595"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.5445204377174377},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.532623827457428},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5085157155990601},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48066484928131104},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.468985378742218},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.3646281957626343},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.35568463802337646},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.33682405948638916},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3060413599014282},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.27180612087249756},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2581734359264374},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.16904950141906738},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13021603226661682},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.12984496355056763},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.09160825610160828},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.0806083083152771}],"concepts":[{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.5445204377174377},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.532623827457428},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5085157155990601},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48066484928131104},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.468985378742218},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.3646281957626343},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.35568463802337646},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.33682405948638916},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3060413599014282},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.27180612087249756},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2581734359264374},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.16904950141906738},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13021603226661682},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.12984496355056763},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.09160825610160828},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0806083083152771}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exp072","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp072","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.243.821","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.243.821","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0802.0150v2.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W65703144","https://openalex.org/W1481398220","https://openalex.org/W1496947201","https://openalex.org/W1540715591","https://openalex.org/W1603957787","https://openalex.org/W1631356911","https://openalex.org/W1828748752","https://openalex.org/W1842133761","https://openalex.org/W1984493109","https://openalex.org/W2029571501","https://openalex.org/W2050334794","https://openalex.org/W2064811181","https://openalex.org/W2101088258","https://openalex.org/W2101654410","https://openalex.org/W2105259569","https://openalex.org/W2109741106","https://openalex.org/W2126160338","https://openalex.org/W2140004352","https://openalex.org/W2147119042","https://openalex.org/W2148132004","https://openalex.org/W2171887607","https://openalex.org/W2338791852","https://openalex.org/W4255472118"],"related_works":["https://openalex.org/W1995761317","https://openalex.org/W4210846614","https://openalex.org/W1535709177","https://openalex.org/W2830670145","https://openalex.org/W4234874385","https://openalex.org/W3047081339","https://openalex.org/W4210459994","https://openalex.org/W1503070883","https://openalex.org/W2171306597","https://openalex.org/W2366604589"],"abstract_inverted_index":{"We":[0],"describe":[1],"a":[2,44,49,60,70,117],"method":[3,20],"to":[4,14],"axiomatize":[5],"computations":[6,15],"in":[7,16,37,111],"deterministic":[8],"Turing":[9,55],"machines":[10],"(TMs).":[11],"When":[12],"applied":[13],"non-deterministic":[17],"TMs,":[18],"this":[19,115],"may":[21],"produce":[22],"contradictory":[23],"(and":[24],"therefore":[25],"trivial)":[26],"theories,":[27],"considering":[28],"classical":[29,145],"logic":[30,42,46],"as":[31],"the":[32,40,53,73,83,99],"underlying":[33,41],"logic.":[34],"By":[35],"substituting":[36],"such":[38,138],"theories":[39],"by":[43],"paraconsistent":[45,54,76,122],"we":[47,133],"define":[48,134],"new":[50],"computation":[51],"model,":[52],"machine.":[56],"This":[57,89],"model":[58,91,120],"allows":[59,72],"partial":[61],"simulation":[62],"of":[63,66,75,92,101,121],"superposed":[64],"states":[65,103],"quantum":[67,112,129],"computing.":[68,113],"Such":[69],"feature":[71],"definition":[74],"algorithms":[77],"which":[78,107,126],"solve":[79],"(with":[80],"some":[81,142],"restrictions)":[82],"well-known":[84],"Deutsch's":[85],"and":[86,104,140],"Deutsch-Jozsa":[87],"problems.":[88],"first":[90],"computation,":[93],"however,":[94],"does":[95],"not":[96],"adequately":[97],"represent":[98],"notions":[100],"entangled":[102],"relative":[105],"phase,":[106],"are":[108],"key":[109],"features":[110],"In":[114],"way,":[116],"more":[118],"sharpened":[119],"TMs":[123],"is":[124],"defined,":[125],"better":[127],"approaches":[128],"computing":[130],"features.":[131],"Finally,":[132],"complexity":[135,146],"classes":[136],"for":[137],"models,":[139],"establish":[141],"relationships":[143],"with":[144],"classes.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}