{"id":"W7081523646","doi":"10.1007/s11083-025-09706-z","title":"Orthogonality Relations and Operators on Bounded Quasi-Implication Algebras","year":2025,"lang":"en","type":"article","venue":"Order","topic":"Geochemistry and Geologic Mapping","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"Social Sciences and Humanities Research Council","keywords":"Bounded function; Isomorphism (crystallography); Quantum; Algebraic structure; Monadic predicate calculus; Lattice (music); Algebra over a field; Algebraic number","routes":{"ca_aff":true,"ca_fund":true,"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.002924659,0.0006744109,0.0008450723,0.002235539,0.00196173,0.004091098,0.001231152,0.001004388,0.005516759],"category_scores_gemma":[0.004921833,0.0007946471,0.001292392,0.002370751,0.004183084,0.01015651,0.003030149,0.002814325,0.0005576212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001611022,"about_ca_system_score_gemma":0.001273632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001793152,"about_ca_topic_score_gemma":0.002173738,"domain_scores_codex":[0.997646,0.000627443,0.0002508069,0.0003897056,0.000744783,0.0003413119],"domain_scores_gemma":[0.9950118,0.002675765,0.0005848404,0.0003757033,0.0008459809,0.0005058973],"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.00003744079,0.00003116078,0.0001694597,0.00002457254,0.000008922165,0.00006591826,0.0002486472,0.0003962133,0.001023159,0.9944928,0.0002946916,0.003207038],"study_design_scores_gemma":[0.00001248727,0.00001333356,0.0001397999,0.000007146291,0.000009770067,0.00006654901,0.00007759663,0.003958757,0.0005978791,0.9938213,0.001284209,0.00001112693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3632001,0.001875006,0.5902722,0.001859451,0.0003410707,0.00007734076,0.000539584,0.0003062065,0.04152906],"genre_scores_gemma":[0.9104701,0.0008475715,0.06991782,0.0004985432,0.0003086731,0.0001165991,0.0004345519,0.0001312038,0.01727484],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005516759,"threshold_uncertainty_score":0.01845545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01069856285586475,"score_gpt":0.2544669268655703,"score_spread":0.2437683640097056,"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."}}