{"id":"W2122580274","doi":"10.1109/ismvl.1994.302205","title":"Enumeration of function and bases of three-valued set logic under compositions with Boolean functions","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Université du Québec à Trois-Rivières","funders":"","keywords":"Unary operation; Boolean function; Mathematics; Set (abstract data type); Discrete mathematics; Boolean algebra; Boolean expression; Tuple; Function (biology); Product term; Parity function; Boolean domain; Boolean data type; Enumeration; Combinatorics; Two-element Boolean algebra; Algebra over a field; Computer science; Pure mathematics","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.002225056,0.0005375363,0.0008104055,0.001744758,0.002222499,0.0033099,0.0009361053,0.0007001771,0.004520629],"category_scores_gemma":[0.004047428,0.0004091583,0.001371979,0.001958205,0.002488108,0.007175319,0.002175617,0.001730701,0.0008384191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001498903,"about_ca_system_score_gemma":0.0008927861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006927467,"about_ca_topic_score_gemma":0.0005529423,"domain_scores_codex":[0.9982917,0.0005511388,0.0001420056,0.0002151952,0.0005287642,0.0002713035],"domain_scores_gemma":[0.9981952,0.0008574346,0.0001843875,0.0002164026,0.0003406628,0.0002058037],"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.0000956974,0.00003705264,0.0005289256,0.00005911454,0.00001025847,0.0000774176,0.00029776,0.00161793,0.002227469,0.9757102,0.0004681876,0.01886993],"study_design_scores_gemma":[0.00001742517,0.00005633073,0.0003825407,0.00003169015,0.00001723206,0.0001935437,0.0002190252,0.01449076,0.006595107,0.9725572,0.00541332,0.00002576567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4854498,0.0009334048,0.461646,0.0008672025,0.00009318691,0.0001262216,0.0003736666,0.0003793704,0.05013123],"genre_scores_gemma":[0.8728573,0.0005765935,0.1162994,0.0002182246,0.0001011387,0.000210329,0.0008025481,0.000105402,0.008829081],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004520629,"threshold_uncertainty_score":0.01512301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03727087978893946,"score_gpt":0.2299534266438673,"score_spread":0.1926825468549278,"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."}}