Orthomodular Lattices Induced by the Concurrency Relation

Abstract

We apply to locally finite partially ordered sets a construction which associates a complete lattice to a given poset; the elements of the lattice are the closed subsets of a closure operator, defined starting from the concurrency relation. We show that, if the partially ordered set satisfies a property of local density, i.e.: N-density, then the associated… (More)
DOI: 10.4204/EPTCS.9.2

6 Figures and Tables

Topics

  • Presentations referencing similar topics