{"id":"W2005947941","doi":"10.1007/s11083-010-9163-3","title":"Dualities and Dual Pairs in Heyting Algebras","year":2010,"lang":"en","type":"article","venue":"Order","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Royal Military College of Canada","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heyting algebra; Mathematics; Homomorphism; Dual (grammatical number); Core (optical fiber); Algebra over a field; Pure mathematics; Discrete mathematics; Combinatorics; Computer science; Linguistics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004378458,0.0000624174,0.00007138238,0.00009883173,0.00006491232,0.00007570595,0.0002165701,0.00003651355,0.00004534725],"category_scores_gemma":[0.0001801595,0.00005703353,0.00001020186,0.0003159751,0.0001019268,0.0003394633,0.0002403859,0.0002426029,0.00002588604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004718603,"about_ca_system_score_gemma":0.0000288891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002088812,"about_ca_topic_score_gemma":0.0001298491,"domain_scores_codex":[0.9992771,0.00004841236,0.00009093288,0.0002062303,0.0001412286,0.0002360753],"domain_scores_gemma":[0.9994738,0.0001641216,0.00001744336,0.0002533672,0.00003908232,0.00005225684],"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.000004878421,0.00002735491,0.02104364,0.00001275767,0.000004199519,0.00003622567,0.002133961,0.00001110063,0.004640423,0.9240915,0.0001341927,0.04785974],"study_design_scores_gemma":[0.00141175,0.0001301849,0.06475641,0.00003909018,0.000002177747,0.0001428882,0.001299398,0.01477979,0.007213717,0.8873935,0.02213977,0.0006912713],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9804458,0.00006396024,0.01392377,0.00107857,0.0001564438,0.00007635775,6.043653e-7,0.00007311443,0.004181372],"genre_scores_gemma":[0.9723953,0.000005319954,0.02658592,0.0001455745,0.0000329411,0.000008901993,3.644637e-7,0.000006401521,0.0008193071],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04716847,"threshold_uncertainty_score":0.232576,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01628894489813829,"score_gpt":0.2882060357094795,"score_spread":0.2719170908113412,"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."}}