{"id":"W164558080","doi":"10.1007/1-4020-4054-7_8","title":"Empirical Negation in Intuitionistic Logic","year":2006,"lang":"en","type":"book-chapter","venue":"˜The œWestern Ontario series in philosophy of science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Negation; Intuitionistic logic; Negation as failure; Mathematics; Computer science; Autoepistemic logic; Discrete mathematics; Artificial intelligence; Programming language; Multimodal logic; Propositional calculus; Description 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003013267,0.0005252936,0.0006372444,0.001063623,0.001481569,0.004494723,0.001115902,0.001514837,0.004960157],"category_scores_gemma":[0.006337039,0.0005440185,0.0004203488,0.001396103,0.01047965,0.007918915,0.001257477,0.003714904,0.0006535113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003697135,"about_ca_system_score_gemma":0.00170427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005017128,"about_ca_topic_score_gemma":0.005468294,"domain_scores_codex":[0.998619,0.0006736669,0.00006685701,0.0001147055,0.0004587784,0.00006693037],"domain_scores_gemma":[0.9975702,0.001853531,0.00007002281,0.0001775538,0.0002785619,0.00005009753],"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.000006445194,0.000005062844,0.00005822712,0.00003040019,0.000001720279,0.0000207074,0.0002521444,0.0001367039,0.00004310692,0.991856,0.002537905,0.005051576],"study_design_scores_gemma":[0.000003156384,0.000001477143,0.00005287883,0.00002283052,0.000001450286,0.00001906683,0.00003867351,0.0004422057,0.00003358472,0.9906588,0.008723759,0.000002204861],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02179288,0.0407552,0.2332732,0.02412051,0.001854953,0.00006374187,0.0002117197,0.0003204591,0.6776074],"genre_scores_gemma":[0.8504058,0.01817814,0.05460668,0.003870303,0.002718651,0.0001550328,0.0002742479,0.0001817836,0.06960931],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005017128,"threshold_uncertainty_score":0.02682477,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.037525826800423,"score_gpt":0.2603326896407755,"score_spread":0.2228068628403526,"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."}}