{"id":"W2495156561","doi":"10.1080/11663081.2016.1179528","title":"A comparison between monoidal and substructural logics","year":2016,"lang":"en","type":"article","venue":"Journal of Applied Non-Classical Logics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada; University of Exeter","keywords":"Negation; Deontic logic; Mathematics; Monoidal t-norm logic; Axiom; Mathematical proof; T-norm fuzzy logics; Categorical variable; Distributive property; Algebra over a field; Equivalence (formal languages); Proof theory; Computer science; Pure mathematics; Epistemology; Programming language; Artificial intelligence; Fuzzy logic; Philosophy; Fuzzy set","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003445951,0.0002468397,0.0006235425,0.000115524,0.0001266248,0.000109406,0.000852531,0.0001802703,0.00001112537],"category_scores_gemma":[0.00006425704,0.0001330948,0.0001240065,0.0002437694,0.0002321923,0.0003858545,0.0003032386,0.0004368652,0.00002132746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007539181,"about_ca_system_score_gemma":0.00006399916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":2.232447e-7,"about_ca_topic_score_gemma":5.40579e-7,"domain_scores_codex":[0.9980969,0.00003845964,0.0006861719,0.0003163781,0.0004515939,0.0004105173],"domain_scores_gemma":[0.9981868,0.0005110536,0.0005726714,0.0002830275,0.0001188398,0.0003275808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002716944,0.0002413125,0.02643132,0.00003642982,0.0001496833,0.0001750998,0.0007107191,0.000310685,0.04908359,0.4210861,0.002309091,0.4991943],"study_design_scores_gemma":[0.004725988,0.002066282,0.1818542,0.00009590361,0.0001089427,0.0003115812,0.0001682209,0.004661377,0.03081982,0.7604984,0.01349909,0.001190213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3930831,0.00006554645,0.6028733,0.001835203,0.0002401421,0.00009996768,0.000002596893,0.00004028081,0.001759933],"genre_scores_gemma":[0.9401126,0.00004213331,0.05910762,0.0002482056,0.0004404816,0.000001765611,4.3784e-7,0.00000960784,0.00003714371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5470295,"threshold_uncertainty_score":0.5427448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02604407911317369,"score_gpt":0.27691893802876,"score_spread":0.2508748589155863,"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."}}