{"id":"W1965001312","doi":"10.1007/s11083-011-9234-0","title":"MV-semirings and their Sheaf Representations","year":2011,"lang":"en","type":"article","venue":"Order","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Semiring; Sheaf; Commutative property; Equivalence (formal languages); Representation (politics); Pure mathematics; Idempotence; Algebra over a field; Prime (order theory); Categorical variable; Kleene algebra; Class (philosophy); Discrete mathematics; Combinatorics; Computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001120381,0.000591381,0.0006755846,0.003337643,0.001654481,0.003795856,0.0007567876,0.0008082719,0.009516874],"category_scores_gemma":[0.002473496,0.0004809226,0.0008679268,0.002713688,0.002461708,0.006887446,0.001833545,0.002054068,0.001530099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009411564,"about_ca_system_score_gemma":0.0004758976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008573891,"about_ca_topic_score_gemma":0.0007160007,"domain_scores_codex":[0.9991997,0.0001800655,0.00008502333,0.0001323906,0.0002493575,0.000153572],"domain_scores_gemma":[0.9987362,0.0004239591,0.0001930212,0.000179527,0.0002349651,0.0002322791],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001946071,0.000008706423,0.00008037881,0.00001094903,0.000003754022,0.00002621576,0.0002230153,0.0001134052,0.0002611566,0.9957621,0.0003417721,0.003149118],"study_design_scores_gemma":[0.000009335972,0.00001317219,0.0001235182,0.00001041557,0.000007119407,0.00008925255,0.000124831,0.00116619,0.0003405806,0.9939406,0.004165615,0.000009494132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4934982,0.003844672,0.322402,0.003018642,0.0006669977,0.0001033053,0.001309256,0.0008052107,0.1743516],"genre_scores_gemma":[0.9407457,0.001149697,0.0260978,0.0002605868,0.0004256521,0.00006510726,0.0005001255,0.0001314552,0.03062387],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009516874,"threshold_uncertainty_score":0.03183711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02919570014018854,"score_gpt":0.2387230834537752,"score_spread":0.2095273833135867,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}