{"id":"W4385619649","doi":"10.1093/logcom/exad050","title":"A parametrized axiomatization for a large number of restricted second-order logics","year":2023,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Australian Research Council","keywords":"Predicate logic; Mathematics; Predicate (mathematical logic); Completeness (order theory); Predicate variable; First-order logic; Second-order logic; Predicate functor logic; Argument (complex analysis); Discrete mathematics; Classical logic; Calculus (dental); Algebra over a field; Computer science; Higher-order logic; Pure mathematics; Multimodal logic; Zeroth-order logic; Theoretical computer science; Description logic; Autoepistemic logic; Programming language","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.005089387,0.0007883767,0.00131763,0.001219166,0.001616418,0.003445411,0.002221699,0.001255886,0.006247988],"category_scores_gemma":[0.005662665,0.001074136,0.00256201,0.001358207,0.003915785,0.008975362,0.004324682,0.006342972,0.000854436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002252799,"about_ca_system_score_gemma":0.001440524,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001424367,"about_ca_topic_score_gemma":0.002370638,"domain_scores_codex":[0.9959627,0.001369232,0.0004231168,0.0008021305,0.001148161,0.0002946204],"domain_scores_gemma":[0.9915938,0.004678535,0.000267025,0.002435645,0.0008009142,0.0002239466],"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.0000573655,0.00003569536,0.0002586047,0.00008722637,0.00002884458,0.0001327021,0.0002744581,0.006284454,0.004109655,0.9809933,0.001128335,0.006609439],"study_design_scores_gemma":[0.000105433,0.00006282845,0.0003871036,0.00006041075,0.00007098568,0.0002657609,0.0001006607,0.06154073,0.01124385,0.9040605,0.02204808,0.00005374858],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07210734,0.0004876333,0.9003934,0.001242114,0.0001556394,0.0001976304,0.0007447244,0.001353035,0.02331858],"genre_scores_gemma":[0.6851906,0.000456222,0.300955,0.0006268842,0.0001692956,0.0005568559,0.001091123,0.0003103176,0.01064371],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006247988,"threshold_uncertainty_score":0.02691555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03834620579276569,"score_gpt":0.3113974809968479,"score_spread":0.2730512752040822,"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."}}