{"id":"W4220739050","doi":"10.1017/9781108981804","title":"Higher-Order Logic and Type Theory","year":2022,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Type theory; Higher-order logic; Abstract model theory; Mathematics; Section (typography); Classical logic; Set theory; Type (biology); Second-order logic; Many-valued logic; Syntax; First-order logic; Intuitionistic logic; Intermediate logic; Algebra over a field; Computer science; Set (abstract data type); Discrete mathematics; Linear logic; Pure mathematics; Artificial intelligence; Description 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.001165846,0.0006351804,0.0006216487,0.00202448,0.001721502,0.004678031,0.001047641,0.001341994,0.01792828],"category_scores_gemma":[0.001243344,0.0003439154,0.0007484212,0.003341333,0.005455918,0.006903956,0.001461453,0.003253591,0.004001829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005147038,"about_ca_system_score_gemma":0.001986226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002579589,"about_ca_topic_score_gemma":0.00195462,"domain_scores_codex":[0.9991001,0.0002393297,0.00003977906,0.0001329877,0.0003665162,0.0001213262],"domain_scores_gemma":[0.999391,0.0003161757,0.00003940155,0.00009437889,0.0001141906,0.00004492912],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001091399,0.000002533699,0.00001399368,0.00002249762,0.000001261607,0.0000102082,0.00009842642,0.0001071649,0.0000379442,0.9906822,0.005350951,0.003671853],"study_design_scores_gemma":[0.00000286128,0.000004402269,0.00005993972,0.00005141155,0.00000188061,0.00008681646,0.00006247772,0.0003111307,0.00006186979,0.7900517,0.2093011,0.000004343162],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004252119,0.06692898,0.1041358,0.01326526,0.002492388,0.00005852021,0.0003499309,0.0005481187,0.8079689],"genre_scores_gemma":[0.288989,0.06279754,0.08989374,0.01117399,0.007471228,0.0004105869,0.001063463,0.0007658669,0.5374345],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01792828,"threshold_uncertainty_score":0.05997604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02520740189437128,"score_gpt":0.2061182510164487,"score_spread":0.1809108491220774,"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."}}