Please use this identifier to cite or link to this item:
|Title:||Between quantum logic and concurrency|
|Authors:||BERNARDINELLO Luca; FERIGATO Carlo; POMELLO Lucia|
|Citation:||Proceedings 9th Workshop on Quantum Physics and Logic p. 65-75|
|Type:||Articles in periodicals and books|
|Abstract:||We start from two closure operators defined on the elements of a special kind of partially ordered sets. These are called causal nets, and are used to model histories of concurrent processes, recording occurrences of local states and of events. If every maximal chain (line) of the partially ordered set meets every maximal antichain (cut), then the two closure operators coincide, and generate complete orthomodular lattices. In this paper we recall that, for any closed set in this lattice, every line meets either it or its orthocomplement in the lattice, and show that to any line, a two-valued state on the lattice can be associated. Starting from this result, we delineate a logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas. The resulting logic is non-classical; we show that maximal antichains in a causal net are associated to Boolean (hence ``classical'') substructures of the overall quantum logic.|
|JRC Directorate:||Space, Security and Migration|
Files in This Item:
There are no files associated with this item.
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.