{"id":"W3015221827","doi":"10.1093/logcom/exaa026","title":"Special Issue on Logical Foundations of Computer Science","year":2020,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computational logic; Programming language; Computer science; Paraconsistent logic; Philosophy of logic; Logic programming; Proof theory; Type theory; Automated theorem proving; Non-classical logic; Intuitionistic logic; Classical logic; Mathematical logic; T-norm fuzzy logics; Theoretical computer science; Mathematics; Fuzzy logic; Artificial intelligence; Description logic; Propositional calculus; Higher-order logic; Logical consequence; Type (biology); Mathematical proof; Fuzzy set","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.003170043,0.001919882,0.002392281,0.005574525,0.003136774,0.01028964,0.001825683,0.004177728,0.1325141],"category_scores_gemma":[0.01060287,0.000829871,0.002140427,0.003776619,0.003000511,0.008201292,0.003342319,0.008590844,0.04104669],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00494466,"about_ca_system_score_gemma":0.003312821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001074795,"about_ca_topic_score_gemma":0.001694132,"domain_scores_codex":[0.9962566,0.0007080066,0.0002810275,0.0007783212,0.001678187,0.0002978763],"domain_scores_gemma":[0.9916667,0.004207954,0.0003658108,0.0008965615,0.001958842,0.0009042122],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002360177,0.00002293611,0.0001186927,0.0003258907,0.00002212313,0.00005667605,0.00008739683,0.0001490444,0.0001845688,0.04940562,0.9218394,0.02776412],"study_design_scores_gemma":[0.000008635646,0.0000163676,0.0001817492,0.0002734051,0.00001068645,0.0001478809,0.00003943841,0.0002103531,0.00007450425,0.03509081,0.9639363,0.000009824442],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.0009667033,0.1171353,0.01255681,0.08421623,0.4906045,0.0001605678,0.001848331,0.0009024443,0.2916092],"genre_scores_gemma":[0.01458703,0.06806312,0.004516534,0.02213895,0.5805886,0.0002786503,0.002449112,0.001242936,0.3061351],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1325141,"threshold_uncertainty_score":0.4433039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04442626409652507,"score_gpt":0.2985361169041228,"score_spread":0.2541098528075977,"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."}}