Free cubic implication algebras
Colin Bailey, Joseph Oliveira
TL;DR
This paper constructs free cubic implication algebras with a finite number of generators and calculates their sizes, advancing the understanding of their algebraic structure.
Contribution
It introduces a method to explicitly construct free cubic implication algebras with finitely many generators and determines their sizes.
Findings
Explicit constructions of free cubic implication algebras
Determination of algebra sizes for finitely generated cases
Enhanced understanding of algebraic structure
Abstract
We construct free cubic implication algebras with finitely many generators, and determine the size of these algebras.
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
TopicsAdvanced Topics in Algebra · Advanced Algebra and Logic