{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003590598,0.0002372201,0.0003848148,0.001800996,0.001271073,0.003947992,0.00119775,0.0008725874,0.002542228],"category_scores_gemma":[0.004676002,0.0002842476,0.0006108805,0.001213112,0.00346309,0.006128358,0.002503938,0.001199338,0.0002474817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001957351,"about_ca_system_score_gemma":0.001132529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00100336,"about_ca_topic_score_gemma":0.000925447,"domain_scores_codex":[0.9970323,0.0008426981,0.0001914412,0.0004023692,0.001254236,0.0002769111],"domain_scores_gemma":[0.9952745,0.0027653,0.0003192422,0.0007859551,0.0005461,0.0003088064],"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.00004327596,0.00001782789,0.0003243117,0.00004905923,0.000009364091,0.00003851816,0.000400813,0.0005781635,0.00102497,0.9822994,0.0002253054,0.01498901],"study_design_scores_gemma":[0.00002262381,0.00005789773,0.001322896,0.00005823886,0.00002307319,0.0001705646,0.0003264816,0.009620119,0.001882697,0.9756218,0.01087518,0.00001832349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3467352,0.01439334,0.4866892,0.004698633,0.0001900347,0.0001262431,0.0003386376,0.000424694,0.146404],"genre_scores_gemma":[0.9387518,0.001693674,0.05316214,0.000497327,0.0001464849,0.00005582814,0.0001245358,0.00004048131,0.005527843],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003947992,"threshold_uncertainty_score":0.01898915,"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."}}