{"id":"W1745228384","doi":"10.1007/s10992-015-9370-x","title":"Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)","year":2015,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Natural deduction; Arrow; Absurdity; Simple (philosophy); Classical logic; Calculus (dental); Propositional calculus; Natural number","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.002150761,0.0003592467,0.0004008128,0.001489118,0.001789151,0.001722634,0.0008623909,0.001570258,0.007665948],"category_scores_gemma":[0.004232148,0.0003055464,0.001199757,0.0008465137,0.003888638,0.009920135,0.001938162,0.002867805,0.001135692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001313795,"about_ca_system_score_gemma":0.001304967,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001594133,"about_ca_topic_score_gemma":0.001818665,"domain_scores_codex":[0.9994516,0.0001898323,0.0000481032,0.0001108122,0.0001381084,0.00006156191],"domain_scores_gemma":[0.9990112,0.0005383535,0.00004226095,0.0001329599,0.0002122892,0.0000629089],"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.00000883426,0.000007546887,0.00004225799,0.00002086917,0.000003919159,0.00002980824,0.0001107432,0.0001134244,0.00009167707,0.9930862,0.001455381,0.005029318],"study_design_scores_gemma":[0.000006415732,0.000003932274,0.00004192154,0.000008728091,0.00000424868,0.00003544826,0.00002031647,0.0006036074,0.0002235239,0.992449,0.006597386,0.0000054343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05072696,0.003872166,0.6793233,0.01406668,0.002862619,0.000109311,0.0003320546,0.0004805934,0.2482263],"genre_scores_gemma":[0.7483461,0.001755275,0.2016232,0.002566177,0.001059611,0.0001483072,0.0003600913,0.000148733,0.04399249],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007665948,"threshold_uncertainty_score":0.0256452,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06028258325813828,"score_gpt":0.2709156767648104,"score_spread":0.2106330935066721,"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."}}