{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001393204,0.0005562978,0.0004880858,0.001634561,0.001618693,0.0040356,0.0007721242,0.0007710595,0.00553705],"category_scores_gemma":[0.003389632,0.0004382747,0.0008349196,0.001871345,0.002600207,0.008322828,0.002407462,0.002026188,0.0007030797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001302709,"about_ca_system_score_gemma":0.0008408405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001010073,"about_ca_topic_score_gemma":0.0004857437,"domain_scores_codex":[0.9979633,0.0004325918,0.0001801272,0.0004662788,0.0006751471,0.0002825455],"domain_scores_gemma":[0.9980385,0.0006247166,0.0002486974,0.0002863547,0.0005384051,0.0002635066],"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.00001822996,0.00001360859,0.000184049,0.00002489339,0.000007002985,0.00006183116,0.0002768674,0.0005193687,0.0008973122,0.992978,0.0003833873,0.00463548],"study_design_scores_gemma":[0.00001400852,0.00003366366,0.0002439262,0.00002962874,0.00001677626,0.0003282811,0.0002766657,0.00775488,0.002448763,0.9643298,0.02450358,0.00001989242],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.205856,0.002607778,0.6456972,0.002289685,0.0003198944,0.0002210278,0.0006136231,0.0005473925,0.1418473],"genre_scores_gemma":[0.9173212,0.0008768131,0.06754236,0.000450297,0.0002621681,0.0001675967,0.0005261443,0.00008301084,0.01277039],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00553705,"threshold_uncertainty_score":0.01852334,"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."}}