{"id":"W2097743968","doi":"10.1109/ismvl.1995.513533","title":"Finite algebraic models for residuated logic","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Algebraic semantics; Algebraic number; Pruning; Semantics (computer science); Algebra over a field; Computer science; Monoidal t-norm logic; Mathematics; Algebraic structure; Theoretical computer science; Discrete mathematics; Pure mathematics; Artificial intelligence; Programming language; Fuzzy logic","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.0002100876,0.0001097278,0.0001352788,0.00006225699,0.000108818,0.0001580979,0.0005617664,0.00006911337,0.00007069006],"category_scores_gemma":[0.00003701357,0.00008057084,0.00007270896,0.0002367873,0.000021897,0.0003268283,0.00008929355,0.00005113287,0.0003057125],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001458006,"about_ca_system_score_gemma":0.000009797196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003549258,"about_ca_topic_score_gemma":0.00001452252,"domain_scores_codex":[0.9990047,0.00003360112,0.0001844233,0.0003211522,0.0001506615,0.0003054496],"domain_scores_gemma":[0.9992533,0.000116478,0.00005531062,0.0004206462,0.00008023924,0.00007405325],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001055434,0.00003578311,0.00001512617,0.00001025121,0.000008630149,0.00000405731,0.0002672884,0.0004430376,0.00001612492,0.9772493,0.009271443,0.0126779],"study_design_scores_gemma":[0.0002390948,0.0001008849,0.000007917894,8.924442e-7,0.000002430265,0.000005264204,0.000008734027,0.6101697,0.0001714043,0.3752939,0.01388006,0.0001197288],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00006300186,0.0002486054,0.9436175,0.0008307542,0.0002551143,0.0002889773,3.948089e-7,0.0003845568,0.05431109],"genre_scores_gemma":[0.9577296,0.00001111434,0.02632896,0.0006977752,0.00007377591,0.00005271767,0.000002342963,0.000007692892,0.01509597],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9576666,"threshold_uncertainty_score":0.3929417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07936584655922257,"score_gpt":0.2555690430022104,"score_spread":0.1762031964429879,"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."}}