Enumerating fuzzy switching functions and free Kleene algebras (Q796494): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattices With Involution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On constructible falsity in the constructive logic with strong negation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective de Morgan and Kleene Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4187871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Kleene algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3328542 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165427 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5515373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some properties of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuously valued logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4166695 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4193404 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5640746 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Properties of Fuzzy Switching Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126378 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5593643 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5655273 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5535953 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3331149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing and Realization of Threshold Functions with Don't Cares / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4140834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy Maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3332943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalization of Sperner's lemma / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A decomposition theorem for partially ordered sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice Theoretic Properties of Frontal Switching Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the counting problem for monotone boolean functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free lattices in some small varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4200260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Minimization of Fuzzy Functions / rank | |||
Normal rank |
Latest revision as of 12:29, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Enumerating fuzzy switching functions and free Kleene algebras |
scientific article |
Statements
Enumerating fuzzy switching functions and free Kleene algebras (English)
0 references
1984
0 references
As Boolean algebras are related to two-valued logic and to switching functions, Kleene algebras are related to a three-valued logic and to fuzzy switching functions. The authors consider the free Kleene algebra FK(n) of n generators and determine the cardinality of FK(4) as 160,297,985,276. For general n, lower and upper bounds are given for the cardinality of FK(n), i.e. for the number of n-variable fuzzy switching functions. The methods are applied to determine also the numbers of regular (ternary) functions in 1, 2, 3, and 4 variables.
0 references
regular ternary functions
0 references
three-valued logic
0 references
fuzzy switching functions
0 references
free Kleene algebra
0 references
0 references