{"paper":{"title":"Monadic and cylindric expansions of bounded implication algebras","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Joseph McDonald","submitted_at":"2026-06-02T09:41:44Z","abstract_excerpt":"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 $"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03400","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.03400/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}