,
,
, Proof. 1. By construction
, Let x, y ?L be two distinct elements such that x ? y. From the definition of ? V , it follows that ?z ? I : ? 1 (z) = x and ? 2 (z) = y (up to swapping of x and y)
Analogously, ?j ? {1, 2} :x,? ? L j , and? < jx . Clearly it must be that i = j. Now, x ? Vx , and y ? V? ? ?a, b ? I : ? i (a) = x, ? j (a) =x, ? i (a) = y, and ? j (b) =?. Since ? i is an omp-embedding, it must reflect the order, yielding a ? b ,
, These results allow for endowing the quotientL/ ? V with a structure
, Consider the setting of Definition 11, and define: 1. L =L/ ? V , 2. 0 =
,
, Then the I-pasting of L 1 and L 2 induced by V is the structure L 1 |I|L 2 = L, ?, p.1
In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets, 14th International Conference, vol.691, pp.89-105, 1993. ,
An algebraic model of observable properties in distributed systems, Theoretical Computer Science, vol.290, issue.1, pp.637-668, 2003. ,
Synthesis of transition systems from quantum logics, Fundamenta Informaticae, vol.154, issue.1-4, pp.25-36, 2017. ,
On stability of regional orthomodular posets. Transactions on Petri Nets and Other Models of Concurrency, vol.13, pp.52-72, 2018. ,
On the decomposition of regional events in elementary systems, Proceedings of the International Workshop ATAED 2018 Satellite event of the conferences: ICATPN 2018 and ACSD, vol.2115, pp.39-55, 2018. ,
The logic of quantum mechanics, Annals of Mathematics, vol.37, issue.4, pp.823-843, 1936. ,
Amalgamation of ortholattices, Order, vol.14, issue.3, pp.193-209, 1997. ,
Model checking, 2001. ,
The synthesis problem of Petri nets, Acta Informatica, vol.33, issue.4, pp.297-315, 1996. ,
Partial (set) 2-structures. part I: basic notions and the representation problem, Acta Informatica, vol.27, issue.4, pp.315-342, 1990. ,
Partial (set) 2-structures. part II: state spaces of concurrent systems, Acta Informatica, vol.27, issue.4, pp.343-368, 1990. ,
Operational Statistics. I. Basic Concepts, Journal of Mathematical Physics, vol.13, issue.11, pp.1667-1675, 1972. ,
Topoi: the categorial analysis of logic. Dover books on mathematics, 2013. ,
The Structure and Interpretation of Quantum Mechanics, 1989. ,
Elementary transition systems, Theoretical Computer Science, vol.96, issue.1, pp.3-33, 1992. ,
Orthomodular Structures as Quantum Logics, 1991. ,
General net theory. computing system design, 1976. ,
Operational statistics. II. Manuals of operations and their logics, Journal of Mathematical Physics, vol.14, issue.10, pp.1472-1480, 1973. ,