Open Research Index

Monadic and cylindric expansions of bounded implication algebras

Joseph McDonald

arXivarxiv/2606.03400Jun 2, 2026math.LOscore 0

Implication algebras were introduced by Abbott as algebraic models of the operation of Boolean implication in the classical propositional calculus. In this work, we study additional operators and constants on bounded implication algebras by introducing monadic and cylindric implication algebras. It is demonstrated that the category $\mathbf{MIA}$ of monadic implication algebras is isomorphic to the category $\mathbf{MBA}$ of monadic Boolean algebras and moreover, that the category $\mathbf{CIA}$ of $I$-dimensional cylindric implication algebras is isomorphic to the category $\mathbf{CBA}$ of…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2606.03400
curl -X POST /api/v1/records/arxiv/2606.03400/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.03400/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'