{"id":"W2037742565","doi":"10.1305/ndjfl/1091030851","title":"Probabilistic Canonical Models for Partial Logics","year":2003,"lang":"en","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; University of Victoria","funders":"","keywords":"Soundness; Completeness (order theory); Probabilistic logic; Predicate (mathematical logic); Gödel's completeness theorem; Mathematics; Computer science; Calculus (dental); Discrete mathematics; Programming language; Statistics","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.001201152,0.0002141711,0.0004125256,0.00009140209,0.0001928423,0.0001480755,0.0009153884,0.0001561112,0.00002966542],"category_scores_gemma":[0.0006164173,0.000145763,0.0003224358,0.0002216745,0.00008528798,0.001135743,0.0001056878,0.0003303186,0.00001624945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001104183,"about_ca_system_score_gemma":0.0004772259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002565935,"about_ca_topic_score_gemma":0.000008132528,"domain_scores_codex":[0.9980034,0.0001141082,0.0006638981,0.0002437415,0.0003618521,0.0006130324],"domain_scores_gemma":[0.9982517,0.0002549522,0.000460814,0.0003149387,0.0004598939,0.0002576916],"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.00006573964,0.0002568628,0.0001682565,0.00003373722,0.00003335877,0.0000555878,0.0003876847,0.01019537,0.00007918527,0.9822504,0.0014475,0.005026351],"study_design_scores_gemma":[0.003716565,0.004051243,0.0004563293,0.0000844158,0.0001275339,0.002005407,0.00009491965,0.2443394,0.001520422,0.6972896,0.04552572,0.0007884256],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01826977,0.0006656983,0.9621891,0.000313065,0.001082339,0.0002738724,0.000005823074,0.00004798807,0.01715232],"genre_scores_gemma":[0.9436081,0.00003674512,0.05554583,0.0003307079,0.0002532996,0.00001020281,0.000001417379,0.000009826703,0.0002038829],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9253383,"threshold_uncertainty_score":0.5944043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04454526761879116,"score_gpt":0.272349074745686,"score_spread":0.2278038071268949,"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."}}