has an article on: <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span> Wikipedia <span class="searchmatch">de</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span> Named after British mathematician and logician Augustus <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> (1806–1871). The notion...
<span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebras</span> plural of <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span>...
article on: Kleene <span class="searchmatch">algebra</span> Wikipedia Named for Stephen Cole Kleene. Kleene <span class="searchmatch">algebra</span> (plural Kleene <span class="searchmatch">algebras</span>) (<span class="searchmatch">algebra</span>) A <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span> which also satisfies...
<span class="searchmatch">algebra</span> (plural Ockham <span class="searchmatch">algebras</span>) (<span class="searchmatch">algebra</span>) A bounded distributive lattice with a dual endomorphism (where “dual” means that it satisfies <span class="searchmatch">De</span> <span class="searchmatch">Morgan’s</span> laws)...
Boolean <span class="searchmatch">algebra</span>. A Boolean <span class="searchmatch">algebra</span> is a <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span> which also satisfies the law of excluded middle and the law of noncontradiction. (<span class="searchmatch">algebra</span>, logic...
zero + groupoid. Coined in Hanamantagouda P. Sankappanavar (2012) “<span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebras</span>: new perspectives and applications”, in Scientiae Mathematicae Japonicae...
distributive with respect to each other. In a distributive lattice, the set of complemented elements is a sublattice. Ockham <span class="searchmatch">algebra</span> <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span>...
to <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebras</span> in [8] which led Sankappanavar to introduce, and investigate, the variety I of implication zroupoids generalizing <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> algebras...
Clifford <span class="searchmatch">algebra</span> coalgebra cogebra combinatorial commutative <span class="searchmatch">algebra</span> commutative <span class="searchmatch">algebra</span> composition <span class="searchmatch">algebra</span> <span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> <span class="searchmatch">algebra</span> dialgebra division <span class="searchmatch">algebra</span> elementary...
Hanamantagouda P. Sankappanavar, “JI-distributive dually quasi-<span class="searchmatch">De</span> <span class="searchmatch">Morgan</span> linear semi-Heyting <span class="searchmatch">algebras</span>”, in arXiv[1]: The main purpose of this paper is to axiomatize...