Finite Implication Algebras
Colin Bailey, Joseph Oliveira
TL;DR
This paper explores various characterizations of finite implication algebras, introducing a novel perspective that also leads to a new way of understanding Boolean polymatroids.
Contribution
It provides multiple characterizations of finite implication algebras and introduces a new characterization of Boolean polymatroids.
Findings
New characterization of finite implication algebras
A novel perspective on Boolean polymatroids
Enhanced understanding of algebraic structures
Abstract
We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Advanced Topics in Algebra · Advanced Algebra and Logic