{"id":"W4388940514","doi":"10.46298/entics.12292","title":"Propositional Logics for the Lawvere Quantale","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"School of Informatics, University of Edinburgh; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Pure mathematics; Mathematical economics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003196075,0.0004851431,0.0004654282,0.001348859,0.001293141,0.003517637,0.0009930175,0.001137268,0.00288312],"category_scores_gemma":[0.00490724,0.0004290499,0.001692129,0.0009538866,0.00520627,0.006934924,0.003379979,0.003524184,0.0003881296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003739743,"about_ca_system_score_gemma":0.001183134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002215315,"about_ca_topic_score_gemma":0.001692173,"domain_scores_codex":[0.9976994,0.0008978412,0.000148192,0.0002766383,0.0007547052,0.0002231028],"domain_scores_gemma":[0.9982811,0.001045078,0.0001053342,0.0002280538,0.0002443761,0.00009595779],"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.000003011946,0.000003626593,0.0000273761,0.00001079186,0.000003416842,0.00002153442,0.0001109631,0.0006730998,0.0001983568,0.9969692,0.0002077067,0.001770904],"study_design_scores_gemma":[0.000005820538,0.000006006762,0.00006560357,0.00001135043,0.000004488238,0.00002807105,0.00003428478,0.004386081,0.0003095979,0.9896554,0.00548507,0.000008267369],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06149485,0.002445646,0.8335348,0.006045409,0.0003433057,0.0001595001,0.0004126502,0.0006613451,0.09490248],"genre_scores_gemma":[0.8249267,0.0009574528,0.1613293,0.001194652,0.0003495881,0.0001987342,0.0003068174,0.00009920553,0.01063748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003739743,"threshold_uncertainty_score":0.02713388,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009747418406165097,"score_gpt":0.2616938535063769,"score_spread":0.2519464351002118,"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."}}