2 citations · 3 across the 3 of their papers we have counts for
3 papers
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
Prosenjit Howlader, Leonard Kwuida, Mike Behrisch +1
Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to W…
Arrow Relations in Lattices of Integer Partitions
Asma'a Almazaydeh, Mike Behrisch, Edith Vargas-García +1
We give a complete characterisation of the single and double arrow relations of the standard context of the lattice of partitions of any positive integer under t…
On when the union of two algebraic sets is algebraic
Erhard Aichinger, Mike Behrisch, Bernardo Rossi
In universal algebraic geometry, an algebra is called an equational domain if the union of two algebraic sets is algebraic. We characterize equational domains, with respect to poly…