<p>In this paper we present a construction, on the variety of orthomodular lattices, that generalizes this variety to the non orthocomplemented case: the variety of unsharp orthomodular lattices. Interestingly enough, a relevant deal of the algebraic properties of orthomodular lattices are preserved: as any orthomodular lattice is the union of its Boolean blocks, any unsharp orthomodular lattice will be the union of its building blocks, which can be regarded as regular double Stone algebras. Capitalizing on this construction we will see that it can be turned into a full fledged categorical equivalence between orthomodular lattices indexed by a p-filter and unsharp orthomodular lattices.</p>

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

Orthomodular and Unsharp Orthomodular Lattices: A Categorical Equivalence

  • Antonio Ledda,
  • Gandolfo Vergottini

摘要

In this paper we present a construction, on the variety of orthomodular lattices, that generalizes this variety to the non orthocomplemented case: the variety of unsharp orthomodular lattices. Interestingly enough, a relevant deal of the algebraic properties of orthomodular lattices are preserved: as any orthomodular lattice is the union of its Boolean blocks, any unsharp orthomodular lattice will be the union of its building blocks, which can be regarded as regular double Stone algebras. Capitalizing on this construction we will see that it can be turned into a full fledged categorical equivalence between orthomodular lattices indexed by a p-filter and unsharp orthomodular lattices.