{"id":"https://openalex.org/W2137812635","doi":"https://doi.org/10.2478/v10006-008-0031-x","title":"Natural Quantum Operational Semantics with Predicates","display_name":"Natural Quantum Operational Semantics with Predicates","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W2137812635","doi":"https://doi.org/10.2478/v10006-008-0031-x","mag":"2137812635"},"language":"en","primary_location":{"id":"doi:10.2478/v10006-008-0031-x","is_oa":true,"landing_page_url":"https://doi.org/10.2478/v10006-008-0031-x","pdf_url":null,"source":{"id":"https://openalex.org/S117679522","display_name":"International Journal of Applied Mathematics and Computer Science","issn_l":"1641-876X","issn":["1641-876X","2083-8492"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"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":"International Journal of Applied Mathematics and Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.2478/v10006-008-0031-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024838422","display_name":"Marek Sawerwain","orcid":"https://orcid.org/0000-0001-8468-2456"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marek Sawerwain","raw_affiliation_strings":["Institute of Control and Computation Engineering, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246 Zielona G\u00f2ra, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246 Zielona G\u00f2ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012462187","display_name":"Roman Gielerak","orcid":"https://orcid.org/0000-0001-8657-0829"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Roman Gielerak","raw_affiliation_strings":["Institute of Control and Computation Engineering, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246 Zielona G\u00f2ra, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246 Zielona G\u00f2ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I46305939"],"apc_list":{"value":4080,"currency":"PLN","value_usd":1100},"apc_paid":{"value":4080,"currency":"PLN","value_usd":1100},"fwci":5.2536,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.9530986,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"18","issue":"3","first_page":"341","last_page":"359"},"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.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"}},"topics":[{"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.9983000159263611,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-no-deleting-theorem","display_name":"Quantum no-deleting theorem","score":0.6600801348686218},{"id":"https://openalex.org/keywords/predicate-transformer-semantics","display_name":"Predicate transformer semantics","score":0.6221759915351868},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.5984673500061035},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5319778323173523},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5016770362854004},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4826679527759552},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.45033106207847595},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4364219605922699},{"id":"https://openalex.org/keywords/quantum-process","display_name":"Quantum process","score":0.43634480237960815},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43587878346443176},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.42594075202941895},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4181705713272095},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.41366660594940186},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.35401707887649536},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3427150249481201},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.2898198366165161},{"id":"https://openalex.org/keywords/open-quantum-system","display_name":"Open quantum system","score":0.2897917628288269},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2805124521255493},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13296708464622498},{"id":"https://openalex.org/keywords/quantum-dynamics","display_name":"Quantum dynamics","score":0.10424289107322693},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06428685784339905}],"concepts":[{"id":"https://openalex.org/C45483111","wikidata":"https://www.wikidata.org/wiki/Q7269076","display_name":"Quantum no-deleting theorem","level":5,"score":0.6600801348686218},{"id":"https://openalex.org/C30128091","wikidata":"https://www.wikidata.org/wiki/Q291929","display_name":"Predicate transformer semantics","level":4,"score":0.6221759915351868},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.5984673500061035},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5319778323173523},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5016770362854004},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4826679527759552},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.45033106207847595},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4364219605922699},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.43634480237960815},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43587878346443176},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42594075202941895},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4181705713272095},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.41366660594940186},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.35401707887649536},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3427150249481201},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.2898198366165161},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.2897917628288269},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2805124521255493},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13296708464622498},{"id":"https://openalex.org/C15184713","wikidata":"https://www.wikidata.org/wiki/Q7269042","display_name":"Quantum dynamics","level":3,"score":0.10424289107322693},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06428685784339905},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2478/v10006-008-0031-x","is_oa":true,"landing_page_url":"https://doi.org/10.2478/v10006-008-0031-x","pdf_url":null,"source":{"id":"https://openalex.org/S117679522","display_name":"International Journal of Applied Mathematics and Computer Science","issn_l":"1641-876X","issn":["1641-876X","2083-8492"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"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":"International Journal of Applied Mathematics and Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.390.3223","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.3223","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://matwbn.icm.edu.pl/ksiazki/amc/amc18/amc1838.pdf","raw_type":"text"},{"id":"pmh:oai:zbc.uz.zgora.pl:78722","is_oa":false,"landing_page_url":"https://zbc.uz.zgora.pl/dlibra/docmetadata?showContent=true&id=78722","pdf_url":null,"source":{"id":"https://openalex.org/S4306400400","display_name":"Digital library of Zielona Gora (University of Zielona G\u00f3ra)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I46305939","host_organization_name":"University of Zielona G\u00f3ra","host_organization_lineage":["https://openalex.org/I46305939"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.amcs.uz.zgora.pl/?action=papers&issue=33","raw_type":"artyku\u0142"}],"best_oa_location":{"id":"doi:10.2478/v10006-008-0031-x","is_oa":true,"landing_page_url":"https://doi.org/10.2478/v10006-008-0031-x","pdf_url":null,"source":{"id":"https://openalex.org/S117679522","display_name":"International Journal of Applied Mathematics and Computer Science","issn_l":"1641-876X","issn":["1641-876X","2083-8492"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"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":"International Journal of Applied Mathematics and Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W58260654","https://openalex.org/W609274549","https://openalex.org/W1551245402","https://openalex.org/W1597330895","https://openalex.org/W1623920228","https://openalex.org/W1637102634","https://openalex.org/W1672045462","https://openalex.org/W1773465796","https://openalex.org/W1791168610","https://openalex.org/W1828074370","https://openalex.org/W1966112122","https://openalex.org/W1978553093","https://openalex.org/W1999626800","https://openalex.org/W2006563055","https://openalex.org/W2017580271","https://openalex.org/W2035993353","https://openalex.org/W2036681090","https://openalex.org/W2038789187","https://openalex.org/W2050334794","https://openalex.org/W2070217890","https://openalex.org/W2074498746","https://openalex.org/W2084652510","https://openalex.org/W2099000905","https://openalex.org/W2103368228","https://openalex.org/W2103953153","https://openalex.org/W2104406942","https://openalex.org/W2106303163","https://openalex.org/W2113090411","https://openalex.org/W2113730801","https://openalex.org/W2116102644","https://openalex.org/W2118229393","https://openalex.org/W2121087903","https://openalex.org/W2123328018","https://openalex.org/W2168893913","https://openalex.org/W2569098540","https://openalex.org/W2610807660","https://openalex.org/W2987907651","https://openalex.org/W3003414507","https://openalex.org/W3099050159","https://openalex.org/W3100881209","https://openalex.org/W3126996113","https://openalex.org/W3141368232","https://openalex.org/W3146075203","https://openalex.org/W4210639184","https://openalex.org/W4236534070","https://openalex.org/W4244716531","https://openalex.org/W4285719527","https://openalex.org/W6638319792","https://openalex.org/W6667733676","https://openalex.org/W6677551240"],"related_works":["https://openalex.org/W2012278151","https://openalex.org/W2944181359","https://openalex.org/W1556251234","https://openalex.org/W1480647633","https://openalex.org/W2137812635","https://openalex.org/W3101924386","https://openalex.org/W3120013403","https://openalex.org/W4313396184","https://openalex.org/W4388319883","https://openalex.org/W3126020438"],"abstract_inverted_index":{"Natural":[0],"Quantum":[1],"Operational":[2],"Semantics":[3],"with":[4],"Predicates":[5],"A":[6],"general":[7],"definition":[8],"of":[9,27,41,50,67,83,95],"a":[10,28,32,45,62,68,80],"quantum":[11,14,20,29,54,72,90],"predicate":[12,30],"and":[13,61,85],"labelled":[15,73],"transition":[16,74],"systems":[17,22],"for":[18,53,71],"finite":[19],"computation":[21],"is":[23,36,79],"presented.":[24],"The":[25,38,76],"notion":[26],"as":[31,57],"positive":[33,59,98],"operator-valued":[34,99],"measure":[35],"developed.":[37],"main":[39],"results":[40],"this":[42],"paper":[43],"are":[44],"theorem":[46,63,78,87],"about":[47,64,88],"the":[48,65,89],"existence":[49,66],"generalised":[51],"predicates":[52],"programs":[55],"defined":[56],"completely":[58],"maps":[60],"GSOS":[69],"format":[70],"systems.":[75],"first":[77],"slight":[81],"generalisation":[82],"D'Hondt":[84],"Panagaden's":[86],"weakest":[91],"precondition":[92],"in":[93],"terms":[94],"discrete":[96],"support":[97],"measures.":[100]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}