{"id":"W2062755128","doi":"10.1002/malq.200610040","title":"Bounded BCK‐algebras and their generated variety","year":2007,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Institute of Population and Public Health","keywords":"Bounded function; Mathematics; Residuated lattice; Commutative property; Simple (philosophy); Class (philosophy); Variety (cybernetics); Pure mathematics; Algebra over a field; Discrete mathematics; Computer science; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006467142,0.000252875,0.0003167103,0.00006914152,0.0001900289,0.0002228212,0.0005186546,0.0001297032,0.0000798202],"category_scores_gemma":[0.0000428926,0.0001668149,0.0000753376,0.0003212679,0.0001611682,0.0003268303,0.00008141094,0.0001989805,0.0001933309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002770406,"about_ca_system_score_gemma":0.0000224646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001546186,"about_ca_topic_score_gemma":0.000003509854,"domain_scores_codex":[0.9983471,0.00005928737,0.000397382,0.0004676339,0.0002008757,0.0005276898],"domain_scores_gemma":[0.9987245,0.0003656993,0.00008902983,0.0005348453,0.00006103748,0.0002249273],"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.000004547488,0.0001066337,0.00001436989,0.00002193757,0.00001325517,0.00003133612,0.002099456,8.315408e-7,0.001546776,0.9649963,0.00006986221,0.03109464],"study_design_scores_gemma":[0.0002818032,0.0004098479,0.0006115466,0.00001211236,0.000004728199,0.0001234707,0.0002904207,0.00886951,0.0007875867,0.9880276,0.0003293475,0.0002520509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1100642,0.00009481755,0.8826963,0.0005355952,0.0001075109,0.0001715341,0.000001058892,0.0003144323,0.006014583],"genre_scores_gemma":[0.8789731,0.000002221675,0.1198412,0.0008981589,0.00007104984,0.000009692001,0.000002105735,0.00001128759,0.0001911413],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7689089,"threshold_uncertainty_score":0.6802513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01534906442188084,"score_gpt":0.2413161522678692,"score_spread":0.2259670878459884,"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."}}