{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002691058,0.0005464259,0.000528217,0.001483701,0.001344612,0.003072574,0.001721609,0.0009407668,0.005969826],"category_scores_gemma":[0.0114593,0.0008349073,0.001138263,0.001486881,0.003970416,0.006183577,0.00375884,0.002134436,0.0004778306],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002411077,"about_ca_system_score_gemma":0.001319013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007884062,"about_ca_topic_score_gemma":0.006256748,"domain_scores_codex":[0.9975719,0.0006075961,0.0001150062,0.0003266472,0.001028863,0.000350026],"domain_scores_gemma":[0.9925735,0.004796696,0.0005519913,0.001112251,0.0007320344,0.0002334609],"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.00037449,0.0001090772,0.002511185,0.0002822893,0.00008759186,0.002081612,0.002471006,0.02755985,0.01383726,0.9129455,0.002355209,0.035385],"study_design_scores_gemma":[0.00008072436,0.0001121014,0.001261277,0.0001151138,0.0001086614,0.000551441,0.0006368954,0.1124071,0.01472064,0.8523608,0.01759106,0.00005425949],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3422705,0.0008673486,0.613866,0.002130133,0.0001673539,0.0002721868,0.0007091032,0.003404504,0.03631284],"genre_scores_gemma":[0.9013568,0.0002923243,0.0937643,0.000365219,0.00007862026,0.00006915951,0.0004179044,0.000234631,0.003421141],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007884062,"threshold_uncertainty_score":0.01997107,"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."}}