{"id":"W60726562","doi":"10.1007/978-94-017-0452-6_4","title":"Basic Many-Valued Logic","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":154,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Axiom; Computer science; Autoepistemic logic; Philosophy of logic; Dynamic logic (digital electronics); Many-valued logic; Independence (probability theory); Propositional calculus; Intermediate logic; Epistemology; Mathematics; Multimodal logic; Theoretical computer science; Programming language; Description logic; Philosophy; Engineering","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.0003644539,0.00110436,0.0007393901,0.001237247,0.001415546,0.003165276,0.00105767,0.0007987939,0.02611023],"category_scores_gemma":[0.0005579535,0.0005230244,0.0005039191,0.002064981,0.002200128,0.005184752,0.001022115,0.002691472,0.01275957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001713423,"about_ca_system_score_gemma":0.001131898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008278062,"about_ca_topic_score_gemma":0.001338977,"domain_scores_codex":[0.9997666,0.00004050809,0.00001270387,0.00004092614,0.0001154574,0.00002362794],"domain_scores_gemma":[0.9998461,0.00005381279,0.000006939478,0.00003254474,0.00004611428,0.00001447331],"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.000003766896,0.00001308599,0.00001590999,0.00007223302,0.000002634595,0.0000159689,0.0001106626,0.0001913845,0.0002394568,0.9361709,0.02893591,0.03422807],"study_design_scores_gemma":[0.000003395723,0.000005335654,0.00005184632,0.00005081293,0.000003816953,0.00006705082,0.00002779437,0.0004528547,0.0001798202,0.7550261,0.2441253,0.000005969207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001384743,0.01035944,0.04910804,0.001901926,0.0008003461,0.00004156812,0.0002928938,0.0003731549,0.9357379],"genre_scores_gemma":[0.07211384,0.01905313,0.03936376,0.001649764,0.001638559,0.0001825798,0.0009349416,0.0003889745,0.8646745],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02611023,"threshold_uncertainty_score":0.08734745,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0326006419618631,"score_gpt":0.2449626669036918,"score_spread":0.2123620249418287,"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."}}