{"id":"W1978955535","doi":"10.1007/s10485-007-9069-4","title":"Perfect MV-algebras and their Logic","year":2007,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Theory of computation; Mathematics; Łukasiewicz logic; Algebra over a field; Pure mathematics; Discrete mathematics; Many-valued logic; Computer science; Algorithm; Theoretical computer science; Substructural logic","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.000199617,0.0002407952,0.0002304013,0.00007241074,0.0002111386,0.00009359203,0.0005645652,0.0001254637,0.00003122144],"category_scores_gemma":[0.00002031858,0.0001548876,0.00005049383,0.0003510535,0.0001154668,0.0001210192,0.0002648522,0.0002572872,0.00002200667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000369315,"about_ca_system_score_gemma":0.00001642083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006598569,"about_ca_topic_score_gemma":0.000004710525,"domain_scores_codex":[0.9985991,0.0000197524,0.000204138,0.000521607,0.0001742414,0.00048117],"domain_scores_gemma":[0.9991347,0.0002107133,0.00006565236,0.0003729281,0.00002315579,0.0001929185],"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.000007932076,0.000009210793,0.00009937061,0.000004465398,0.000007675199,0.0000122072,0.0001853544,0.00001700879,0.003127507,0.9028518,0.0001070937,0.0935704],"study_design_scores_gemma":[0.0002189331,0.00005789799,0.01344257,2.259699e-7,0.000003205178,0.00006232937,0.00007272103,0.0001434354,0.006855503,0.9763432,0.002560921,0.0002390874],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07382245,0.0004548379,0.9137276,0.0001962361,0.0001589267,0.0001632637,2.667255e-7,0.0002678209,0.01120864],"genre_scores_gemma":[0.9926693,0.00001839117,0.005980218,0.001115081,0.0001634724,0.000007305072,0.000002562424,0.00001073938,0.00003291052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9188468,"threshold_uncertainty_score":0.6316134,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01066470486659546,"score_gpt":0.2302669523936371,"score_spread":0.2196022475270416,"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."}}