{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005278584,0.0003814133,0.0004738712,0.001277184,0.00181314,0.003214465,0.001074343,0.001044784,0.002489281],"category_scores_gemma":[0.008883854,0.0004198668,0.0006145015,0.0008976233,0.01245931,0.008833267,0.002111794,0.002254176,0.0002983385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002704468,"about_ca_system_score_gemma":0.001284326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002112035,"about_ca_topic_score_gemma":0.001373405,"domain_scores_codex":[0.9973375,0.001332821,0.0001548788,0.0002902806,0.0005737775,0.0003106982],"domain_scores_gemma":[0.9881536,0.009358086,0.0004165847,0.0007257777,0.001080803,0.0002651428],"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.00003276164,0.000009987783,0.0002699181,0.00004717623,0.000005551282,0.00009462688,0.0003364669,0.0011324,0.0004502542,0.9912465,0.0003751401,0.005999144],"study_design_scores_gemma":[0.000008756433,0.000007268268,0.00005777852,0.00001526144,0.000007795691,0.00004975389,0.00003567506,0.003966955,0.0003513626,0.9932562,0.002237927,0.000005352027],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1883488,0.007559665,0.6344368,0.01653398,0.0006022624,0.00008309877,0.0001577413,0.0008369986,0.1514407],"genre_scores_gemma":[0.9542544,0.001041441,0.04007052,0.0007546459,0.0002789044,0.00004136184,0.00004441657,0.00005956225,0.003454766],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.005278584,"threshold_uncertainty_score":0.02791619,"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."}}