Showing math.LOShow all
2 papers · 1 filter
math.LO2026
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…
math.LO2025
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
Prosenjit Howlader, Churn-Jung Liau
A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated…