{"id":"W2069313594","doi":"10.2200/s00065ed1v01y200709dcs012","title":"Multiple Valued Logic: Concepts and Representations","year":2007,"lang":"en","type":"article","venue":"Synthesis lectures on digital circuits and systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":136,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Epistemology; Philosophy","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.001092712,0.001379008,0.0009320927,0.002049456,0.0009459677,0.005417524,0.001198196,0.00139083,0.005778498],"category_scores_gemma":[0.001786461,0.0007396864,0.001041551,0.003561515,0.003157854,0.006314864,0.001274103,0.004117816,0.001611304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002302348,"about_ca_system_score_gemma":0.0009378599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007216299,"about_ca_topic_score_gemma":0.0006334169,"domain_scores_codex":[0.9992062,0.0001918606,0.00006294777,0.0001769815,0.0002964881,0.00006558993],"domain_scores_gemma":[0.9995019,0.000264666,0.00005985945,0.00005714667,0.00008478794,0.00003154046],"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.000005441683,0.000006871025,0.00002390483,0.00007106047,0.000004305165,0.00002231833,0.00009109043,0.0007907609,0.000419878,0.981122,0.002420027,0.01502221],"study_design_scores_gemma":[0.00000462895,0.000009049502,0.00003783802,0.00005870543,0.000007235908,0.00007088394,0.00003716298,0.003164614,0.0003339204,0.9689539,0.0273139,0.000008088244],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01200534,0.05155139,0.8042892,0.005810229,0.001758476,0.00006752973,0.0005487158,0.0005013621,0.1234678],"genre_scores_gemma":[0.4977111,0.04646152,0.3746425,0.002312991,0.004073834,0.000518184,0.001004698,0.0003782969,0.07289689],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005778498,"threshold_uncertainty_score":0.01933098,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04580731866763565,"score_gpt":0.3125782211352746,"score_spread":0.266770902467639,"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."}}