{"id":"W4412647483","doi":"10.55016/ojs/cdm.v2i2.61973","title":"Priestley duality for some algebras with a negation operator","year":2007,"lang":"en","type":"article","venue":"Contributions to Discrete Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Negation; Mathematics; Duality (order theory); Operator (biology); Algebra over a field; Combinatorics; Pure mathematics; Linguistics; Chemistry; Philosophy","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001861274,0.0004333123,0.0006110691,0.001141161,0.001914205,0.003163581,0.000583467,0.0009296463,0.002717316],"category_scores_gemma":[0.001867157,0.0003464938,0.001138343,0.001083724,0.003058987,0.006005121,0.00194826,0.002825572,0.0007191289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001068412,"about_ca_system_score_gemma":0.0006619869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003471455,"about_ca_topic_score_gemma":0.0003048498,"domain_scores_codex":[0.9986883,0.0005028289,0.0000859557,0.0002335166,0.000359781,0.0001296104],"domain_scores_gemma":[0.9993266,0.0002112765,0.00007013125,0.00007743523,0.0002147402,0.00009975962],"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.000008300794,0.000006414338,0.00004229226,0.00001046394,0.000002912866,0.00003239848,0.0000977438,0.0001148293,0.0003532834,0.9974316,0.0002793561,0.0016204],"study_design_scores_gemma":[0.000006058937,0.00001685459,0.00004875827,0.000007828981,0.000003460242,0.00009699173,0.00004531908,0.001527753,0.000736896,0.990366,0.007135038,0.00000897842],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1479713,0.006461626,0.6452243,0.004319224,0.001252741,0.0001000675,0.0003305033,0.0002886442,0.1940517],"genre_scores_gemma":[0.8310622,0.002217683,0.13633,0.001836804,0.0008462688,0.0002019601,0.0002976792,0.0001065333,0.02710093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003163581,"threshold_uncertainty_score":0.009843469,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01486432297155781,"score_gpt":0.3054678893635603,"score_spread":0.2906035663920025,"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."}}