{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000514166,0.0002389615,0.000366825,0.0009934769,0.001090727,0.001915182,0.0005657471,0.0003023308,0.003841622],"category_scores_gemma":[0.001113654,0.0001766503,0.0004973514,0.0008241672,0.002168348,0.002651297,0.001417982,0.0009825798,0.0004592543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001062113,"about_ca_system_score_gemma":0.0003805585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009051986,"about_ca_topic_score_gemma":0.0004054325,"domain_scores_codex":[0.9991912,0.000120408,0.00003946226,0.0001636707,0.0003863153,0.00009895563],"domain_scores_gemma":[0.9994001,0.0001743548,0.00008129048,0.00005371646,0.000190881,0.00009970571],"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.0000376817,0.00002376646,0.0004515675,0.00003367991,0.00001213947,0.0001362201,0.0004229033,0.001949686,0.002745315,0.9891293,0.0004467516,0.004610999],"study_design_scores_gemma":[0.00003040526,0.00003399621,0.000895191,0.00001818139,0.00001486054,0.0002795923,0.0001966976,0.01492886,0.004494117,0.9673525,0.01173143,0.0000241476],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7114202,0.001669349,0.1872906,0.0007193267,0.0001499339,0.00009127263,0.0003516591,0.0003259901,0.09798159],"genre_scores_gemma":[0.9840247,0.0001809448,0.007758957,0.00005309386,0.00005556404,0.00002985152,0.0001706369,0.00002006006,0.007706123],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003841622,"threshold_uncertainty_score":0.01285148,"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."}}