{"id":"W1529894088","doi":"10.1023/a:1012495106338","title":"A Kripke Semantics for the Logic of Gelfand Quantales","year":2001,"lang":"en","type":"article","venue":"Studia Logica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Mathematics; Gödel's completeness theorem; Soundness; Completeness (order theory); Discrete mathematics; Axiom; Kripke semantics; Intermediate logic; Algebra over a field; Pure mathematics; Calculus (dental); Computer science; Description logic; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0001957197,0.0001186853,0.0001938141,0.00002890799,0.0002253562,0.00002843011,0.0007291597,0.00003985512,0.00001152545],"category_scores_gemma":[0.000101472,0.00006433651,0.00009845145,0.0002734775,0.0001274507,0.00009969428,0.000213602,0.00006966283,0.0000131311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009763323,"about_ca_system_score_gemma":0.00002537135,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003864252,"about_ca_topic_score_gemma":0.00001524525,"domain_scores_codex":[0.9991246,0.0000282532,0.0001886498,0.0002514903,0.0001495823,0.000257422],"domain_scores_gemma":[0.998883,0.0004937537,0.0001074991,0.0004055217,0.00007627627,0.00003391691],"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.00001856398,0.0001262927,0.002019058,0.00001525807,0.00004157899,0.00001626881,0.0004502837,0.000242579,0.0004221632,0.9839071,0.0008046273,0.01193624],"study_design_scores_gemma":[0.001873884,0.001579314,0.05944368,0.00003857953,0.00008899763,0.0001147144,0.001301329,0.01065095,0.00112963,0.8136019,0.1094647,0.0007123187],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02195998,0.002496542,0.9645724,0.003615692,0.0003488593,0.0005041253,0.000005299824,0.0001101152,0.006386985],"genre_scores_gemma":[0.9801644,0.0005368359,0.01854706,0.0004586679,0.00007121669,0.00004026134,8.507099e-7,0.000004468829,0.0001762469],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9582044,"threshold_uncertainty_score":0.2623567,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04889535107170354,"score_gpt":0.298588028206924,"score_spread":0.2496926771352204,"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."}}