Scholarlink

<p>In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-free reducts of the polyadic ortholattices, which we call <i>locally finite</i> <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-<i>free polyadic ortholattices</i>, and demonstrate that they stand in a one-to-one correspondence with the locally finite diagonal-free cylindric ortholattices.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Functional monadic ortholattices and locally finite \(\sigma \)-free polyadic ortholattices

  • 期刊论文

  • 发表日期：

    2025年12月5日

查看全文
  • Chun-Yu Lin,
  • Joseph McDonald

摘要

In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-free reducts of the polyadic ortholattices, which we call locally finite \(\sigma \) σ -free polyadic ortholattices, and demonstrate that they stand in a one-to-one correspondence with the locally finite diagonal-free cylindric ortholattices.