{"id":"W2896430270","doi":"10.1007/s11787-018-0214-7","title":"Pecularities of Some Three- and Four-Valued Second Order Logics","year":2018,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Statement (logic); Order (exchange); Mathematics; Propositional calculus; Many-valued logic; T-norm fuzzy logics; Truth value; Mathematical economics; Discrete mathematics; Computer science; Description logic; Calculus (dental); Artificial intelligence; Epistemology; Philosophy; Programming language; Fuzzy logic","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.0001824411,0.0001563659,0.0002360087,0.00009687833,0.0001655321,0.00007585045,0.0005760521,0.0001194605,0.0002551182],"category_scores_gemma":[0.00006869078,0.0001251296,0.00006069627,0.0003055207,0.0004555539,0.000443035,0.0004238861,0.0001011427,0.00002712676],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000249184,"about_ca_system_score_gemma":0.0000578313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006558934,"about_ca_topic_score_gemma":0.0001696665,"domain_scores_codex":[0.9989817,0.00006303569,0.0001520396,0.0003579697,0.0001716479,0.0002736582],"domain_scores_gemma":[0.9990581,0.00007433134,0.0001070998,0.000417502,0.0002477223,0.00009527427],"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.00001237756,0.00004825802,0.00129617,0.00002316803,0.00003524929,0.00003909351,0.001725353,0.000001918356,0.0005941773,0.9928477,0.001521764,0.001854733],"study_design_scores_gemma":[0.004851771,0.003717862,0.06464217,0.0001366909,0.0001470786,0.0002437108,0.002010927,0.03487867,0.01277475,0.7141636,0.1602825,0.002150307],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4087488,0.001434015,0.3176508,0.0008437323,0.0009141611,0.0004108831,0.00002775186,0.0004627971,0.2695071],"genre_scores_gemma":[0.9782375,0.0000483303,0.01929534,0.0003367639,0.0001326852,0.000001479553,0.000002545943,0.000007540412,0.001937796],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5694887,"threshold_uncertainty_score":0.5102637,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02407551781598009,"score_gpt":0.2185111476771034,"score_spread":0.1944356298611233,"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."}}