{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003003286,0.0009536821,0.001425934,0.002784651,0.00307711,0.007002317,0.002069385,0.002207709,0.006172919],"category_scores_gemma":[0.003684641,0.0009736894,0.002392311,0.002177755,0.006618323,0.01403761,0.004031894,0.005447531,0.001349988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002893934,"about_ca_system_score_gemma":0.001473507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001776667,"about_ca_topic_score_gemma":0.001436143,"domain_scores_codex":[0.9982658,0.0005448415,0.0001618442,0.0003272107,0.0004859253,0.000214411],"domain_scores_gemma":[0.9982333,0.000762565,0.0001384067,0.0003075654,0.0003496735,0.0002085453],"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.000007187225,0.000005462879,0.00002061907,0.00001549117,0.000003685341,0.00001939047,0.00008961574,0.0003242275,0.0001472878,0.9979908,0.0002639369,0.001112203],"study_design_scores_gemma":[0.00000940974,0.000005445883,0.00002421234,0.000009869058,0.000004468678,0.00002967545,0.00003248003,0.001288531,0.0001167383,0.995933,0.002535946,0.00001016139],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06167876,0.004271344,0.8261126,0.00668962,0.0006652623,0.0001473859,0.0007912582,0.0008540806,0.09878966],"genre_scores_gemma":[0.8012026,0.002491825,0.1753943,0.001366852,0.0007143893,0.0002311027,0.0004409279,0.0002797931,0.0178781],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007002317,"threshold_uncertainty_score":0.02099711,"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."}}