{"id":"W2940631072","doi":"10.3233/fi-2019-1804","title":"Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems","year":2019,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Proof theory; Calculus (dental); Structural proof theory; Satisfiability; Mathematics; Relation (database); Logical consequence; Propositional calculus; Computer science; Proof assistant; Algebra over a field; Algorithm; Discrete mathematics; Mathematical proof; Pure mathematics; Artificial intelligence","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.005202503,0.0008047324,0.0009729516,0.00261323,0.001706557,0.006178787,0.00255874,0.002613992,0.003734719],"category_scores_gemma":[0.006695444,0.0007926407,0.002013863,0.002594653,0.008534573,0.008872181,0.002868881,0.004814354,0.000900962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003071296,"about_ca_system_score_gemma":0.003810993,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003177003,"about_ca_topic_score_gemma":0.001800677,"domain_scores_codex":[0.9957151,0.001533842,0.0002783782,0.0005819444,0.001584642,0.0003060797],"domain_scores_gemma":[0.9976216,0.001366887,0.0002089291,0.0002753751,0.0004067876,0.0001203953],"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.000003256313,0.000003536182,0.00001481529,0.00002293113,0.000004532293,0.00001963054,0.00006600955,0.001150521,0.0001198803,0.9961133,0.0003802346,0.002101303],"study_design_scores_gemma":[0.0000149895,0.000006344647,0.00001965548,0.00002474869,0.000008686166,0.00003090484,0.00002101432,0.008175599,0.0002281672,0.9765885,0.01487386,0.000007664477],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003563899,0.003317526,0.9582664,0.003717035,0.0004091647,0.00009933632,0.0002308168,0.0003661106,0.03002959],"genre_scores_gemma":[0.3098919,0.006478953,0.662771,0.002266819,0.002008516,0.0005516766,0.000659753,0.0003328389,0.01503866],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006178787,"threshold_uncertainty_score":0.0275138,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02186152142718644,"score_gpt":0.2605556761897468,"score_spread":0.2386941547625603,"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."}}