Synthesis of Transition Systems from Quantum Logics

Bernardinello, Luca; Ferigato, Carlo; Pomello, Lucia; Aubel, Adrián Puerto

doi:10.3233/fi-2017-1550

Cited by 2 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Any regional logic is tip, as shown in [6], and eti, as shown in [5] Although we do not know yet if the two properties, eti and tip, coincide, we can prove that eti implies than tip. First case: a $ b.…”

Section: Regional Logics Are Eti and Tipmentioning

confidence: 90%

See 1 more Smart Citation

On Stability of Regional Orthomodular Posets

Bernardinello

Ferigato

Pomello

et al. 2018

Transactions on Petri Nets and Other Models of Concurrency XIII

Self Cite

View full text Add to dashboard Cite

The set of regions of a transition system, ordered by set inclusion, is an orthomodular poset, often referred to as quantum logic, here called regional logic. Regional logics, which result to be also regular and rich, are the main subject of investigation in this work. Given a regular, rich logic L, one can build a condition/event transition system A, such that L embeds into the regional logic of A. Call stable a logic if the embedding is an isomorphism. We give some necessary conditions for a logic to be stable, and show that under these, the embedding presents some stronger property. The full characterization of the class of stable logics is still an open problem. In particular, we show that any {0, 1}-pasting of n Boolean logics is stable, and that, whenever L contains n maximal Boolean sublogics sharing exactly one atom, L is stable.

show abstract

Section: Regional Logics Are Eti and Tipmentioning

confidence: 90%

“…In [6] and [5] it is shown that regional logics satisfy the properties called tip and eti, respectively. In the following, after recalling the definitions, we show that any eti logic is also a tip logic.…”

Section: Regional Logics Are Eti and Tipmentioning

confidence: 99%