{"id":"W1611875164","doi":"10.1016/j.apal.2007.03.001","title":"First-order Gödel logics","year":2007,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Uncountable set; Negation; Mathematics; Interpretation (philosophy); Order (exchange); Combinatorics; Discrete mathematics; Finite set; Countable set; Computer science; Mathematical analysis","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.001287335,0.0005110389,0.0007260505,0.001661958,0.002026989,0.004189869,0.0009808999,0.0008705192,0.007322615],"category_scores_gemma":[0.001978238,0.0005117581,0.000765266,0.001685795,0.003803296,0.009724985,0.001599461,0.003370052,0.001044479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001723671,"about_ca_system_score_gemma":0.001026043,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007870878,"about_ca_topic_score_gemma":0.001146473,"domain_scores_codex":[0.9993538,0.0001407923,0.00003824254,0.0001324588,0.0002504686,0.00008430696],"domain_scores_gemma":[0.9988673,0.000540064,0.00006399776,0.0001873003,0.0002070086,0.0001344392],"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.000008908724,0.000005495157,0.00004518566,0.00001223006,0.000003374512,0.00001172762,0.00007400373,0.0001198599,0.0001217761,0.9955444,0.001007685,0.003045406],"study_design_scores_gemma":[0.000003446139,0.000002012881,0.00004170395,0.000004615641,0.000004241941,0.00002745881,0.0000189996,0.0005925493,0.0001811299,0.9931264,0.00599378,0.000003640636],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1051061,0.0162437,0.4925861,0.01553479,0.001562848,0.0000567293,0.0009789394,0.001331339,0.3665994],"genre_scores_gemma":[0.8745167,0.005159471,0.06296078,0.001152376,0.001371692,0.00003912505,0.000633656,0.0001601779,0.05400594],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007322615,"threshold_uncertainty_score":0.02449656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04747162189864145,"score_gpt":0.2948686843336565,"score_spread":0.247397062435015,"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."}}