{"id":"W2065498341","doi":"10.2178/jsl/1185803624","title":"Simplicial structures in MV-algebras and logic","year":2007,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Algebra over a field; Axiom; Completeness (order theory); Algebraic structure; Intermediate logic; Peano axioms; Łukasiewicz logic; Relation algebra; Interior algebra; Discrete mathematics; Pure mathematics; Subalgebra; Division algebra; Two-element Boolean algebra; Algebra representation; Substructural logic; Computer science; Description logic; Theoretical computer science","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.002285922,0.0006366664,0.0008158875,0.002229884,0.001954279,0.004406506,0.001220105,0.0015643,0.005410635],"category_scores_gemma":[0.002344307,0.0003802213,0.0009487121,0.002310203,0.005918796,0.007490575,0.002098537,0.003189592,0.0008643484],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003155118,"about_ca_system_score_gemma":0.001067589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002627075,"about_ca_topic_score_gemma":0.001933148,"domain_scores_codex":[0.9985994,0.0005732521,0.00008617449,0.0001992286,0.000398082,0.0001439482],"domain_scores_gemma":[0.9988506,0.0005834747,0.000117639,0.00013531,0.0001730554,0.0001399782],"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.000002116775,0.000003191,0.00002971703,0.00001278077,0.000002277258,0.00001825607,0.0001059141,0.0003091225,0.00008669748,0.9976966,0.0003173819,0.001415933],"study_design_scores_gemma":[0.000001688586,0.000003438618,0.00003165292,0.000008466928,0.00000118274,0.00001288504,0.00003092346,0.001067087,0.00003993493,0.9947131,0.004086731,0.000002802298],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07949707,0.05027077,0.5647469,0.01642608,0.001314248,0.0001847267,0.0007513333,0.000716236,0.2860926],"genre_scores_gemma":[0.7738019,0.01446386,0.1747277,0.002415697,0.00296299,0.0002968263,0.0006470917,0.0001500712,0.03053383],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005410635,"threshold_uncertainty_score":0.02289206,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0161204057250458,"score_gpt":0.2802801720625293,"score_spread":0.2641597663374835,"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."}}