{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":[],"category_scores_codex":[0.0008397741,0.0004143056,0.0005397907,0.0005572617,0.0002847505,0.0002636503,0.003006468,0.0002503645,0.00002826392],"category_scores_gemma":[0.00003509592,0.0003291575,0.0001239868,0.000506941,0.003199399,0.001078401,0.000851461,0.0007087481,0.00005842016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008781772,"about_ca_system_score_gemma":0.001065794,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004041024,"about_ca_topic_score_gemma":0.1172011,"domain_scores_codex":[0.9968375,0.00004338109,0.0007813927,0.0009503964,0.0008950729,0.0004922813],"domain_scores_gemma":[0.998069,0.0001393292,0.00045503,0.001024561,0.0002160232,0.00009609584],"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.00003448404,0.0001311674,0.01249947,0.00006722605,0.000007820633,0.0001000311,0.004729318,0.0002687025,0.00002954533,0.9802405,0.0001729906,0.001718716],"study_design_scores_gemma":[0.0003277946,0.000317118,0.02994567,0.0003266226,0.00001012677,0.00007144154,0.000009482054,0.0003523596,0.00003123343,0.9583927,0.009726413,0.0004890475],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.004398507,0.0002846175,0.007092785,0.001522347,0.001308437,0.000647913,0.000008430929,0.00009531103,0.9846417],"genre_scores_gemma":[0.9340763,0.00002307967,0.001785837,0.00047771,0.0002057675,0.00002679928,0.00001090451,0.00002206345,0.06337154],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9296778,"threshold_uncertainty_score":0.9999161,"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."}}