{"id":"W4317796404","doi":"10.26686/ajl.v19i5.7540","title":"Minimally Nonstandard K3 and FDE","year":2022,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Paraconsistent logic; Sequent; Propositional calculus; Mathematics; Sequent calculus; Classical logic; Many-valued logic; Logical consequence; Intermediate logic; Order (exchange); Intuitionistic logic; Computer science; Calculus (dental); Higher-order logic; Algorithm; Algebra over a field; Discrete mathematics; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Medicine","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00109171,0.00007146097,0.0001331015,0.00004647999,0.0002309438,0.00002197809,0.0004553342,0.00002244579,0.002813344],"category_scores_gemma":[0.00004410637,0.00004220577,0.00006874988,0.0001625975,0.0004058072,0.00005039024,0.00008496189,0.0004203228,0.00002045398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002345673,"about_ca_system_score_gemma":0.0000300057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001376024,"about_ca_topic_score_gemma":2.755212e-7,"domain_scores_codex":[0.9989705,0.0002640866,0.0002230818,0.00009545961,0.0002440629,0.0002027721],"domain_scores_gemma":[0.9994239,0.000138643,0.0001652473,0.0001405867,0.00002601992,0.000105574],"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.0003557434,0.0001015803,0.0008536488,0.000001770887,0.00004759995,0.0004413213,0.00201461,0.00002762578,0.0008293049,0.9873008,0.00186174,0.006164267],"study_design_scores_gemma":[0.001022299,0.002516999,0.0240807,0.00001362235,0.00006988594,0.006194187,0.003846359,0.000005860505,0.0001204898,0.9514646,0.01050332,0.0001616901],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7830024,0.0003891458,0.0001413502,0.02492078,0.0006926658,0.00008402391,0.00001456037,0.000009488555,0.1907455],"genre_scores_gemma":[0.9987327,0.000005969074,0.0001748874,0.0005731202,0.0001342217,0.00000200415,1.34841e-7,0.00000405219,0.0003728511],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2157303,"threshold_uncertainty_score":0.9980982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03186449682996105,"score_gpt":0.3090543199662029,"score_spread":0.2771898231362418,"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."}}