{"id":"W2790151031","doi":"10.5430/air.v7n1p53","title":"Multisequent Gentzen Deduction Systems For B<sub>2</sub> <sup>2</sup>-Valued First-Order Logic","year":2018,"lang":"en","type":"article","venue":"Artificial Intelligence Research","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Soundness; Sequent; Sequent calculus; Mathematics; Generalization; Order (exchange); Completeness (order theory); Discrete mathematics; Calculus (dental); Computer science; Programming language; Mathematical analysis; Mathematical proof","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.005000049,0.0008423353,0.0009164533,0.001044196,0.002573055,0.001232025,0.003509776,0.0006042654,0.0002311712],"category_scores_gemma":[0.002016887,0.0007736626,0.0004186484,0.003501597,0.001522665,0.001532483,0.00132363,0.0009838903,0.003839196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008916322,"about_ca_system_score_gemma":0.0006310011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002036892,"about_ca_topic_score_gemma":0.0007149635,"domain_scores_codex":[0.9887945,0.00102121,0.00174636,0.002616565,0.002662332,0.003158997],"domain_scores_gemma":[0.9917402,0.001308345,0.0004218124,0.002311853,0.003359651,0.0008581582],"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.0006406254,0.001409907,0.00009946628,0.0004362196,0.0002380888,0.0001672969,0.005385058,0.02175359,0.1808185,0.586745,0.01084665,0.1914596],"study_design_scores_gemma":[0.0003080817,0.001864354,0.00007985395,0.0002563699,0.00004012296,0.00009206998,0.0008137396,0.7228372,0.1305297,0.1055225,0.03639411,0.00126198],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1157633,0.002489295,0.870807,0.002187002,0.003003425,0.003751415,0.00004609461,0.0006158118,0.001336688],"genre_scores_gemma":[0.9768683,0.0009829123,0.01670639,0.0001999633,0.002988703,0.001013699,0.00005038526,0.0001272089,0.001062385],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8611051,"threshold_uncertainty_score":0.9998048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1697312307687207,"score_gpt":0.3924163908098235,"score_spread":0.2226851600411028,"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."}}