IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishThe 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
Bernardinello, L., Ferigato, C., Pomello, L., & Puerto Aubel, A. (2017). On Stability of Regional Orthomodular Posets. In Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data 2017 (pp.89-105). CEUR.
| Citazione: | Bernardinello, L., Ferigato, C., Pomello, L., & Puerto Aubel, A. (2017). On Stability of Regional Orthomodular Posets. In Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data 2017 (pp.89-105). CEUR. |
| Tipo: | slide + paper |
| Carattere della pubblicazione: | Scientifica |
| Presenza di un coautore afferente ad Istituzioni straniere: | Si |
| Titolo: | On Stability of Regional Orthomodular Posets |
| Autori: | Bernardinello, L; Ferigato, C; Pomello, L; Puerto Aubel, A |
| Autori: | |
| Data di pubblicazione: | 2017 |
| Lingua: | English |
| Nome del convegno: | International Workshop on Algorithms and Theories for the Analysis of Event Data 2017 June 26–27 |
| Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| paper07(1).pdf | full paper | N/A | Open Access Visualizza/Apri |
Copyright © 2020