{"id":"W2008731436","doi":"10.2178/jsl/1230396765","title":"Examining Fragments of the Quantified Propositional Calculus","year":2008,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Axiom; Mathematical proof; Hierarchy; Calculus (dental); Propositional calculus; Propositional variable; Proof complexity; Connection (principal bundle); Propositional formula; Algebra over a field; Discrete mathematics; Pure mathematics; Computer science; Intermediate logic; Theoretical computer science","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.0004406529,0.0001117157,0.000263225,0.00009441964,0.0001833678,0.00002785792,0.0009992038,0.00006589404,0.0000254102],"category_scores_gemma":[0.0001320596,0.00006206572,0.0001605941,0.0003229161,0.0001352923,0.0002517078,0.0001843441,0.0002311522,0.00001535906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004864567,"about_ca_system_score_gemma":0.0002100235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006841876,"about_ca_topic_score_gemma":8.766149e-7,"domain_scores_codex":[0.9985777,0.0001230471,0.0004549836,0.0001375155,0.0005061964,0.0002005282],"domain_scores_gemma":[0.9987316,0.00008990447,0.0005416094,0.0002726683,0.0002808641,0.00008340401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0001571306,0.002865265,0.1822942,0.0001933115,0.0006671908,0.001134341,0.03142737,0.001453889,0.07340049,0.6716806,0.015519,0.01920723],"study_design_scores_gemma":[0.00341772,0.001513374,0.9074079,0.0004360689,0.0000892959,0.008294296,0.0003806622,0.006623406,0.03299442,0.03535335,0.002851436,0.0006380018],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9477398,0.0006328444,0.03989581,0.0004621036,0.001103119,0.0001067789,0.00000104543,0.00001866696,0.01003979],"genre_scores_gemma":[0.9955965,0.00004626133,0.003600984,0.0002080564,0.0001928465,0.000001282928,1.861315e-7,0.000004638925,0.0003492613],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7251138,"threshold_uncertainty_score":0.2530967,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0541860406085994,"score_gpt":0.2498554769199531,"score_spread":0.1956694363113537,"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."}}