article on: <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> Wikipedia Named for Stephen Cole <span class="searchmatch">Kleene</span>. <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> (plural <span class="searchmatch">Kleene</span> <span class="searchmatch">algebras</span>) (<span class="searchmatch">algebra</span>) A De Morgan <span class="searchmatch">algebra</span> which also satisfies...
<span class="searchmatch">Kleene</span> <span class="searchmatch">algebras</span> plural of <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span>...
endomorphism (where “dual” means that it satisfies De Morgan’s laws). distributive lattice Boolean <span class="searchmatch">algebra</span> De Morgan <span class="searchmatch">algebra</span> <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> Stone <span class="searchmatch">algebra</span>...
of <span class="searchmatch">Kleene</span> <span class="searchmatch">Algebra</span> with Domain”, in arXiv[1]: It is shown that antidomain semirings are more expressive than test semirings and that <span class="searchmatch">Kleene</span> <span class="searchmatch">algebras</span> with...
study of such <span class="searchmatch">algebras</span>; Boolean logic, classical logic. (Specifically ...): switching <span class="searchmatch">algebra</span> <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> De Morgan <span class="searchmatch">algebra</span> Ockham <span class="searchmatch">algebra</span> distributive...
lattice of a De Morgan <span class="searchmatch">algebra</span> form a Boolean sublattice. 2000, Luo Congwen, Topological De Morgan <span class="searchmatch">Algebras</span> and <span class="searchmatch">Kleene</span>-Stone <span class="searchmatch">Algebras</span>: The Journal of Fuzzy...
Hopf <span class="searchmatch">algebra</span> Hurwitz <span class="searchmatch">algebra</span> hyperalgebra Iwahori-Hecke <span class="searchmatch">algebra</span> Jordan <span class="searchmatch">algebra</span> Kac-Moody <span class="searchmatch">algebra</span> k-<span class="searchmatch">algebra</span> <span class="searchmatch">Kleene</span> <span class="searchmatch">algebra</span> Leibniz <span class="searchmatch">algebra</span> Lie <span class="searchmatch">algebra</span> linear...
monoid Wikipedia free monoid (plural free monoids) (<span class="searchmatch">algebra</span>) A monoid whose underlying set is the <span class="searchmatch">Kleene</span> closure of some set of generators, and whose operator...
called ‘Turing machines’ as a model for computation, Church and his student <span class="searchmatch">Kleene</span> were developing a different model, called the ‘lambda calculus’ [29, 63]...
{\displaystyle (S\cup S^{-1})^{*}} be the <span class="searchmatch">Kleene</span> closure of the union of those two sets. For any string w in the <span class="searchmatch">Kleene</span> closure let r(w) be its reduced form...