{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001976556,0.0005454903,0.0008244841,0.001335653,0.001310373,0.002106274,0.001354413,0.001127679,0.003077142],"category_scores_gemma":[0.003892201,0.000572078,0.001991534,0.0008726918,0.002017696,0.002452926,0.002652874,0.002845313,0.0008163463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002392737,"about_ca_system_score_gemma":0.001625975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002154779,"about_ca_topic_score_gemma":0.003932145,"domain_scores_codex":[0.9981602,0.0004128142,0.0001337593,0.0005462241,0.0005835365,0.0001635005],"domain_scores_gemma":[0.998273,0.000892738,0.0001289788,0.0002343715,0.0003791035,0.00009169617],"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.000101972,0.00007126521,0.0006626293,0.0001739358,0.0001068049,0.0003433048,0.0007492054,0.02672318,0.008017685,0.9067129,0.001793755,0.05454329],"study_design_scores_gemma":[0.00004367925,0.00004266869,0.0003235974,0.00003705809,0.00006099058,0.0001357905,0.00006805924,0.1162803,0.006411065,0.8713251,0.005227578,0.00004415946],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04836874,0.0004158053,0.9419683,0.0005489745,0.0001157998,0.0001550193,0.0002954254,0.001436424,0.006695527],"genre_scores_gemma":[0.4334149,0.0002808996,0.5579534,0.000557301,0.00008599328,0.0001794722,0.000599376,0.0001603518,0.006768274],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003077142,"threshold_uncertainty_score":0.01736063,"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."}}