{"id":"W4319166055","doi":"10.48550/arxiv.2302.01224","title":"Propositional Logics for the Lawvere Quantale","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"School of Informatics, University of Edinburgh; Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Propositional calculus; Discrete mathematics; Completeness (order theory); Propositional variable; Decidability; Pure mathematics; Algebra over a field; Intermediate logic","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.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":"methods","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":"methods","genre_consensus":"methods","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.167404114336736,"score_gpt":0.2144165623788552,"score_spread":0.04701244804211921,"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."}}