{"id":"W1922059135","doi":"10.1109/ismvl.1989.37820","title":"Chain-based Ockham algebras","year":2003,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Generalization; Distributive property; Negation; Class (philosophy); Heyting algebra; Algebra over a field; Boolean algebra; Chain (unit); Mathematics; Computer science; Pure mathematics; Discrete mathematics; Programming language; Artificial intelligence; 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.0005389163,0.000320309,0.0004560493,0.001172433,0.001204512,0.002485392,0.0006710697,0.0005947194,0.0117143],"category_scores_gemma":[0.00151444,0.0001984622,0.0005426836,0.001035304,0.001597131,0.004361175,0.001774421,0.001090766,0.001747809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001106894,"about_ca_system_score_gemma":0.0007110904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001415524,"about_ca_topic_score_gemma":0.001473295,"domain_scores_codex":[0.9993551,0.00009905656,0.00004162071,0.0001111214,0.0002723981,0.0001206866],"domain_scores_gemma":[0.9992385,0.0001678645,0.00008217684,0.0001654983,0.0002266311,0.0001192792],"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.00001136592,0.000006296761,0.00006326234,0.00001513641,0.000002388135,0.00002899199,0.00005325333,0.0006284109,0.0006256393,0.994395,0.0004362787,0.003733919],"study_design_scores_gemma":[0.000008547252,0.00001682462,0.000094812,0.00001304254,0.000006301062,0.00007333711,0.00004733834,0.01052945,0.001119082,0.9775519,0.01052884,0.00001070114],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1964673,0.002485829,0.4981139,0.001349307,0.0006060004,0.0001387567,0.0007062566,0.0007679845,0.2993647],"genre_scores_gemma":[0.9054041,0.001253202,0.04372624,0.0002984093,0.0003445765,0.00008045713,0.0004416571,0.0001272266,0.0483241],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0117143,"threshold_uncertainty_score":0.03918827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0125839461383513,"score_gpt":0.226328271911442,"score_spread":0.2137443257730907,"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."}}