{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001041095,0.000153745,0.0002964897,0.00009791466,0.00008096757,0.0002513516,0.0005754589,0.00009921855,0.00005590443],"category_scores_gemma":[0.00004148969,0.0001212569,0.00007288698,0.0002202989,0.00003262434,0.002146925,0.0001347521,0.0001345741,0.0002934217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008743383,"about_ca_system_score_gemma":0.00008919135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003421624,"about_ca_topic_score_gemma":0.00001764501,"domain_scores_codex":[0.9981592,0.00005897601,0.0007744145,0.0001987315,0.000512707,0.0002959947],"domain_scores_gemma":[0.9984196,0.00009640655,0.0004065692,0.0008418328,0.0001293151,0.0001063151],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002166109,0.0003469563,0.06911758,0.003502141,0.00009089043,0.000002099464,0.01685642,0.001077708,0.000581486,0.8795973,0.0002211813,0.02858459],"study_design_scores_gemma":[0.002456794,0.001890384,0.1111433,0.0001718552,0.000043919,0.00007261035,0.003853027,0.842324,0.003685072,0.01234243,0.02091688,0.001099715],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6618084,0.00006570923,0.315544,0.00006941423,0.001215226,0.002149524,0.000005356073,0.0002211797,0.01892124],"genre_scores_gemma":[0.9982255,0.000001104551,0.00149369,0.00004721692,0.0000326004,0.00003040873,0.00001922792,0.000006544524,0.0001437127],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8672549,"threshold_uncertainty_score":0.4944714,"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."}}