1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
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…