{"id":"W2079424204","doi":"10.1142/s0218196701000681","title":"A CHARACTERIZATION OF de MORGAN ALGEBRAS","year":2001,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Characterization (materials science); Combinatorics; Set (abstract data type); Ternary operation; Algebra over a field; Type (biology); Discrete mathematics; Pure mathematics; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001878587,0.00007540073,0.0001296265,0.0002079001,0.0000292159,0.00006790571,0.0003662179,0.00003436342,0.000008018345],"category_scores_gemma":[0.00003941933,0.00006794893,0.00005184274,0.0001616015,0.00003123609,0.0007181166,0.00006283299,0.00008175258,0.000001945987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003440998,"about_ca_system_score_gemma":0.00006295615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000262075,"about_ca_topic_score_gemma":5.056506e-7,"domain_scores_codex":[0.999098,0.00004266637,0.0003617293,0.00009929822,0.0003064706,0.00009182104],"domain_scores_gemma":[0.9989511,0.00005712694,0.0004379861,0.00005865467,0.0004345647,0.00006051272],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0001762978,0.0003448907,0.0239361,0.00001985843,0.000244133,0.0002591377,0.003651454,0.002048187,0.1978801,0.2341252,0.00006810469,0.5372465],"study_design_scores_gemma":[0.002922717,0.0008332505,0.4369838,0.0002178587,0.00004467808,0.004182128,0.0002129245,0.09399676,0.03921157,0.41934,0.001613319,0.0004409711],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5103461,0.00003719534,0.4886667,0.0006342904,0.0002181377,0.00001982418,5.263878e-7,0.000008761253,0.00006850529],"genre_scores_gemma":[0.9844895,0.0001490476,0.01489633,0.0002881058,0.000150619,6.312478e-7,0.000004129621,0.000004532308,0.00001711702],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5368056,"threshold_uncertainty_score":0.2770877,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0108663446517115,"score_gpt":0.2641641481452289,"score_spread":0.2532978034935174,"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."}}