{"id":"W2163037973","doi":"10.2307/2586689","title":"On the role of implication in formal logic","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Finitary; Negation; Mathematics; Proof calculus; Second-order logic; Non-classical logic; Classical logic; Higher-order logic; Predicate logic; Computer science; Discrete mathematics; Calculus (dental); Programming language; Logical consequence; Natural deduction; Description logic; Artificial intelligence","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.0007778037,0.0001012019,0.0002213842,0.0001228088,0.00006118255,0.00003936229,0.0009172968,0.00006544677,0.0001516776],"category_scores_gemma":[0.0000851013,0.00005496789,0.0001174811,0.0003437517,0.00004574225,0.0003205678,0.00005619214,0.000237305,0.00006401826],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004739222,"about_ca_system_score_gemma":0.000068808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001109246,"about_ca_topic_score_gemma":0.00000300387,"domain_scores_codex":[0.9988834,0.000101219,0.0004232121,0.0001170633,0.0002412587,0.0002338016],"domain_scores_gemma":[0.9990729,0.0001804906,0.0002995727,0.0002874624,0.0001023231,0.00005722404],"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.0000344561,0.0002474659,0.001431509,0.000005743378,0.00001447312,0.00001244023,0.001548854,0.0003522615,0.002018643,0.8925453,0.0003258664,0.101463],"study_design_scores_gemma":[0.0008732707,0.001163472,0.07519466,0.00008138268,0.00001315208,0.000369865,0.0001974469,0.005221481,0.005076442,0.906473,0.005126818,0.0002089713],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9035197,0.001031939,0.003700468,0.001440355,0.0001391359,0.0001380334,6.176242e-7,0.00001805711,0.09001164],"genre_scores_gemma":[0.9985852,0.0001525442,0.00066184,0.0003867051,0.00009724381,0.000002926465,1.677701e-7,0.000003487493,0.0001099327],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.101254,"threshold_uncertainty_score":0.2241525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0127384417532938,"score_gpt":0.2407078262733269,"score_spread":0.2279693845200331,"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."}}