{"id":"https://openalex.org/W2467451650","doi":"https://doi.org/10.4204/eptcs.214.3","title":"Sequent Calculus Representations for Quantum Circuits","display_name":"Sequent Calculus Representations for Quantum Circuits","publication_year":2016,"publication_date":"2016-06-20","ids":{"openalex":"https://openalex.org/W2467451650","doi":"https://doi.org/10.4204/eptcs.214.3","mag":"2467451650"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.214.3","doi":"https://doi.org/10.4204/eptcs.214.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.214.3","pdf_url":"https://arxiv.org/pdf/1606.06799","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1606.06799","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077505347","display_name":"Cameron Beebe","orcid":"https://orcid.org/0000-0003-0877-0467","observed_orcids":["https://orcid.org/0000-0003-0877-0467"]},"institutions":[{"id":"https://openalex.org/I4210112916","display_name":"Geological Survey of Namibia","ror":"https://ror.org/025qwfz43","country_code":"NA","type":"government","lineage":["https://openalex.org/I4210112916"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE","NA"],"is_corresponding":true,"raw_author_name":"Cameron Beebe","raw_affiliation_strings":["GSN/MCMP","Graduate School of Systemic Neurosciences, LMU Munich, Germany","Munich Center for Mathematical Philosophy, LMU Munich, Germany","Research Center for Neurophilosophy and Ethics of Neurosciences,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GSN/MCMP","institution_ids":["https://openalex.org/I4210112916"]},{"raw_affiliation_string":"Graduate School of Systemic Neurosciences, LMU Munich, Germany","institution_ids":["https://openalex.org/I8204097"]},{"raw_affiliation_string":"Munich Center for Mathematical Philosophy, LMU Munich, Germany","institution_ids":["https://openalex.org/I8204097"]},{"raw_affiliation_string":"Research Center for Neurophilosophy and Ethics of Neurosciences,","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077505347"],"corresponding_institution_ids":["https://openalex.org/I4210112916","https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05155288,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"214","issue":null,"first_page":"3","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9429000020027161,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9429000020027161,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.019700000062584877,"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/T10126","display_name":"Logic, programming, and type systems","score":0.019600000232458115,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"sequent calculus","score":0.9950000047683716},{"id":"https://openalex.org/keywords/quantum-circuits","display_name":"quantum circuits","score":0.972000002861023},{"id":"https://openalex.org/keywords/phase-representation","display_name":"phase representation","score":0.7570000290870667},{"id":"https://openalex.org/keywords/interference","display_name":"interference","score":0.7850000262260437},{"id":"https://openalex.org/keywords/unitary-transformation","display_name":"unitary transformation","score":0.8679999709129333},{"id":"https://openalex.org/keywords/measurement-probabilities","display_name":"measurement probabilities","score":0.8040000200271606},{"id":"https://openalex.org/keywords/quantum-logic","display_name":"quantum logic","score":0.7110000252723694},{"id":"https://openalex.org/keywords/proof-rules","display_name":"proof rules","score":0.6639999747276306}],"concepts":[{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5165130496025085},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47902053594589233},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.46702316403388977},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.4543170630931854},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42893195152282715},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4204167127609253},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.4107934534549713},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.410763680934906},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.41055500507354736},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.40826016664505005},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3938639461994171},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36446404457092285},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2703472077846527},{"id":"https://openalex.org/C15184713","wikidata":"https://www.wikidata.org/wiki/Q7269042","display_name":"Quantum dynamics","level":3,"score":0.23298126459121704},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.18277624249458313},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10557171702384949},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.08886626362800598},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.4204/eptcs.214.3","doi":"https://doi.org/10.4204/eptcs.214.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.214.3","pdf_url":"https://arxiv.org/pdf/1606.06799","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1606.06799","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1606.06799","pdf_url":"https://arxiv.org/pdf/1606.06799","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:525b825ec99a41c481bfe5e8abd342b7","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/525b825ec99a41c481bfe5e8abd342b7","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 214, Iss Proc. PC 2016, Pp 3-15 (2016)","raw_type":"article"},{"id":"pmh:oai:epub.ub.uni-muenchen.de:38166","doi":null,"is_oa":false,"landing_page_url":"https://epub.ub.uni-muenchen.de/38166/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401845","display_name":"Open access LMU (Ludwid Maxmilian's Universitat Munchen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I8204097","host_organization_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","host_organization_lineage":["https://openalex.org/I8204097"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"doc-type:article"},{"id":"doi:10.48550/arxiv.1606.06799","doi":"https://doi.org/10.48550/arxiv.1606.06799","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1606.06799","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.4204/eptcs.214.3","doi":"https://doi.org/10.4204/eptcs.214.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.214.3","pdf_url":"https://arxiv.org/pdf/1606.06799","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2467451650.pdf","grobid_xml":"https://content.openalex.org/works/W2467451650.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W159715351","https://openalex.org/W566766357","https://openalex.org/W656700481","https://openalex.org/W1511133369","https://openalex.org/W1549006397","https://openalex.org/W1576771044","https://openalex.org/W1997104976","https://openalex.org/W2005446591","https://openalex.org/W2078710420","https://openalex.org/W2092314333","https://openalex.org/W2093896185","https://openalex.org/W2138408756","https://openalex.org/W3126996113","https://openalex.org/W3129517549","https://openalex.org/W4241815177"],"related_works":["https://openalex.org/W3205416935","https://openalex.org/W3125817458","https://openalex.org/W641601600","https://openalex.org/W3119693691","https://openalex.org/W1977423717","https://openalex.org/W4286906342","https://openalex.org/W2362057230","https://openalex.org/W201549515","https://openalex.org/W2950816020","https://openalex.org/W2244929554"],"abstract_inverted_index":{"When":[0],"considering":[1],"a":[2,77,143,155],"sequent-style":[3],"proof":[4,71],"system":[5,78],"for":[6,83,154],"quantum":[7,14,33,84,98,102,110,125,146],"programs,":[8],"there":[9],"are":[10],"certain":[11],"elements":[12,81],"of":[13,26,46,54,70,96,101,124,134,140],"mechanics":[15],"that":[16,79],"we":[17],"may":[18],"wish":[19],"to":[20,65,90,117],"capture,":[21],"such":[22],"as":[23,142],"phase,":[24],"dynamics":[25],"unitary":[27],"transformations,":[28],"and":[29,44,114,121],"measurement":[30],"probabilities.":[31],"Traditional":[32],"logics":[34],"which":[35,73],"focus":[36],"primarily":[37],"on":[38,108],"the":[39,68,94,97,132,138],"abstract":[40],"orthomodular":[41],"lattice":[42],"theory":[43],"structures":[45],"Hilbert":[47],"spaces":[48],"have":[49],"not":[50],"satisfactorily":[51],"captured":[52],"some":[53],"these":[55],"elements.":[56],"We":[57],"can":[58],"start":[59],"from":[60,93],"'scratch'":[61],"in":[62,76,145],"an":[63,151],"attempt":[64],"conceptually":[66],"characterize":[67],"types":[69],"rules":[72],"should":[74],"be":[75],"represents":[80],"necessary":[82],"algorithms.":[85],"This":[86],"present":[87],"work":[88],"attempts":[89],"do":[91],"this":[92],"perspective":[95],"circuit":[99],"model":[100],"computation.":[103,147],"A":[104],"sequent":[105],"calculus":[106],"based":[107],"single":[109],"circuits":[111],"is":[112,127],"suggested,":[113],"its":[115],"ability":[116],"incorporate":[118],"important":[119],"conceptual":[120],"dynamic":[122],"aspects":[123],"computing":[126],"discussed.":[128],"In":[129],"particular,":[130],"preserving":[131],"representation":[133],"phase":[135],"helps":[136],"illustrate":[137],"role":[139],"interference":[141],"resource":[144],"Interference":[148],"also":[149],"provides":[150],"intuitive":[152],"basis":[153],"non-monotonic":[156],"calculus.":[157]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2025-10-10T00:00:00"}