{"id":"https://openalex.org/W7225565502","doi":"https://doi.org/10.5281/zenodo.24052335","title":"A Proposal for Binary Operator Logic","display_name":"A Proposal for Binary Operator Logic","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225565502","doi":"https://doi.org/10.5281/zenodo.24052335"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24052335","doi":"https://doi.org/10.5281/zenodo.24052335","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052335","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24052335","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133041494","display_name":"hideo umihara","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Umihara, Hideo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133041494"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.6011000275611877,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.6011000275611877,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11564","display_name":"Mathematical Inequalities and Applications","score":0.048900000751018524,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.034699998795986176,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interference-terms","display_name":"interference terms","score":0.9309999942779541},{"id":"https://openalex.org/keywords/weil-conjectures","display_name":"Weil conjectures","score":0.5299999713897705},{"id":"https://openalex.org/keywords/two-valued-logic","display_name":"two-valued logic","score":0.6620000004768372},{"id":"https://openalex.org/keywords/operator-representation","display_name":"operator representation","score":0.31299999356269836}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7006000280380249},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6772000193595886},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.640999972820282},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5673999786376953},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.531000018119812},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5296000242233276},{"id":"https://openalex.org/C185529760","wikidata":"https://www.wikidata.org/wiki/Q164307","display_name":"Binary operation","level":2,"score":0.5288000106811523},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4528000056743622},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4458000063896179},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.444599986076355},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42570000886917114},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37610000371932983},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3601999878883362},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.3571000099182129},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.3440000116825104},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3280999958515167},{"id":"https://openalex.org/C194989596","wikidata":"https://www.wikidata.org/wiki/Q211790","display_name":"Logical connective","level":2,"score":0.3190999925136566},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.29420000314712524},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.2874000072479248},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C2780757906","wikidata":"https://www.wikidata.org/wiki/Q5276676","display_name":"Dilation (metric space)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C131584629","wikidata":"https://www.wikidata.org/wiki/Q4308705","display_name":"Coupling (piping)","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C34849589","wikidata":"https://www.wikidata.org/wiki/Q4345785","display_name":"Atomic sentence","level":3,"score":0.25609999895095825},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24052335","doi":"https://doi.org/10.5281/zenodo.24052335","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052335","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.24052336","doi":"https://doi.org/10.5281/zenodo.24052336","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052336","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24052335","doi":"https://doi.org/10.5281/zenodo.24052335","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24052335","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W7223143888"],"related_works":["https://openalex.org/W7223143888","https://openalex.org/W7212381784","https://openalex.org/W7208753544","https://openalex.org/W7222600046","https://openalex.org/W4386106415","https://openalex.org/W7117974393","https://openalex.org/W7169768008","https://openalex.org/W7096702989","https://openalex.org/W7213784913","https://openalex.org/W7103880343"],"abstract_inverted_index":{"This":[0,118,163],"letter":[1,189],"proposes":[2],"Binary":[3],"Operator":[4],"Logic":[5],"(BOL)":[6],"as":[7,205],"a":[8,42,46,59,64,99,165,206,219,272],"methodology":[9],"for":[10,63,200,278],"constructing":[11],"sound":[12],"mathematical":[13,43,150,259],"proofs":[14],"by":[15,58],"preserving":[16,33],"cross-correlations":[17],"(interference":[18],"terms)":[19],"in":[20,133,264],"operator":[21,266],"representations,":[22],"while":[23],"retaining":[24],"ordinary":[25],"two-valued":[26],"logic.":[27],"The":[28,90,188,232],"central":[29],"result":[30],"demonstrates":[31],"that":[32,45,253],"interference":[34,262],"terms":[35,263],"can":[36,227],"make":[37],"it":[38],"possible":[39],"to":[40,51],"prove":[41],"proposition":[44,151,181],"conventional":[47,77,159],"sufficient":[48,160],"condition":[49,161],"fails":[50],"certify.":[52],"A":[53,213],"concrete":[54,166],"example":[55,167,208],"is":[56,152],"provided":[57],"rigorous":[60,265],"Schur-complement":[61],"certificate":[62],"finite-zero":[65],"model":[66],"with":[67],"199":[68],"retained":[69],"directions":[70],"and":[71,113,123,131,136,302,311],"an":[72,223],"infinite-dimensional":[73],"complement.":[74],"In":[75,103],"the":[76,95,104,107,134,143,148,157,173,180,192,197,229,240,250,258,275,279,285,297,303],"approach,":[78,106],"taking":[79],"absolute-value":[80,112],"bounds":[81,93,127],"before":[82,111],"combining":[83],"individual":[84],"contributions":[85,108],"produces":[86],"excessively":[87],"conservative":[88],"estimates.":[89],"resulting":[91],"defect":[92,126],"exceed":[94],"certification":[96,300],"threshold,":[97],"preventing":[98],"proof":[100,195,273],"of":[101,128,168,175,196,209,252,261,274,284],"positivity.":[102],"revised":[105],"are":[109,116],"combined":[110],"norm":[114],"estimates":[115],"applied.":[117],"preserves":[119],"cancellations":[120,248],"between":[121,243],"components":[122,251],"yields":[124],"certified":[125,154],"approximately":[129],"0.04937":[130],"0.00227":[132],"odd":[135],"even":[137,155],"sectors,":[138],"respectively.":[139],"Both":[140],"sectors":[141],"satisfy":[142],"required":[144],"positivity":[145,230],"condition.":[146],"Thus,":[147],"same":[149],"rigorously":[153],"though":[156],"specified":[158],"fails.":[162],"provides":[164],"increased":[169],"certifying":[170],"power":[171],"through":[172],"preservation":[174],"cross":[176,211],"information,":[177],"without":[178],"changing":[179],"or":[182,283],"introducing":[183],"new":[184],"logical":[185],"truth":[186],"values.":[187],"also":[190],"discusses":[191],"classical":[193],"Weil":[194],"Riemann":[198,276,280],"hypothesis":[199,277],"curves":[201],"over":[202],"finite":[203,298],"fields":[204],"geometric":[207],"essential":[210],"information.":[212],"separate":[214],"32-dimensional":[215],"Weil-form":[216],"compression":[217],"illustrates":[218],"soundness":[220],"requirement:":[221],"omitting":[222],"off-diagonal":[224],"coupling":[225,242],"block":[226],"overestimate":[228],"margin.":[231],"analysis":[233],"therefore":[234],"distinguishes":[235],"two":[236],"principles:":[237],"Soundness:":[238],"retain":[239],"full":[241],"subspaces.":[244],"Certifying":[245],"power:":[246],"preserve":[247],"among":[249],"coupling.":[254],"These":[255],"results":[256],"clarify":[257],"role":[260],"certificates.":[267],"They":[268,295],"do":[269],"not":[270],"constitute":[271],"zeta":[281],"function":[282],"ABC":[286],"conjecture.":[287],"Two":[288],"supplementary":[289],"ZIP":[290],"archives":[291],"accompany":[292],"this":[293],"letter.":[294],"contain":[296],"Weil-compression":[299],"materials":[301],"real199":[304],"Schur":[305],"v3":[306],"certificate,":[307],"execution":[308],"log,":[309],"documentation,":[310],"verification":[312],"program.":[313]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}