{"id":"W4411409639","doi":"10.1109/ismvl64713.2025.00047","title":"On the Contributions to Multiple-Valued Logic by Prof. Kenneth C. Smith","year":2025,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Mathematical economics; Mathematics","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.000192749,0.0001109981,0.0001077061,0.00004706182,0.0002562451,0.00008012124,0.0007509696,0.00003962343,0.00003350895],"category_scores_gemma":[0.0004989906,0.00006070075,0.0000433599,0.0005086629,0.00003616796,0.00009293206,0.0002092339,0.0001317493,0.0001913629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005305648,"about_ca_system_score_gemma":0.00005524344,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001129007,"about_ca_topic_score_gemma":0.000006630766,"domain_scores_codex":[0.9990805,0.00007602834,0.0001303023,0.0003104721,0.0001299149,0.0002727536],"domain_scores_gemma":[0.9988283,0.000488514,0.00002687383,0.000505629,0.00008598654,0.00006467565],"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.000003282995,0.00004397157,0.00003294155,0.000001204991,0.000006354523,8.843392e-7,0.00002581841,0.0001542955,0.0004587788,0.8968684,0.100859,0.001545125],"study_design_scores_gemma":[0.001071853,0.000388092,0.001994968,0.00005068496,0.00001026772,0.000002774723,0.00007130914,0.06775042,0.02252094,0.7661021,0.1396094,0.0004271795],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00177007,0.0001165876,0.9430456,0.03956655,0.00019852,0.0004526774,0.00001024389,0.0002216229,0.01461812],"genre_scores_gemma":[0.9432924,0.00000820137,0.01241548,0.02672218,0.00002578079,0.0001344952,0.000003169007,0.000004291729,0.01739398],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9415224,"threshold_uncertainty_score":0.2475305,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01115413961468897,"score_gpt":0.2831303816011226,"score_spread":0.2719762419864336,"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."}}