Please use this identifier to cite or link to this item:
|Title:||Synthesis of transition systems from quantum logics|
|Authors:||BERNARDINELLO L.; FERIGATO CARLO; POMELLO LUCIA; PUERTO AUBEL ADRIAN|
|Citation:||FUNDAMENTA INFORMATICAE vol. 154 no. 1-4 p. 25-36|
|Type:||Articles in periodicals and books|
|Abstract:||The set of elementary regions of a transition system, ordered by set inclusion,forms an orthomodular poset, and more precisely a regular and rich concrete quantum logic. Starting from an abstract regular and rich quantum logic, one can construct an elementary transition system such that the orginal logic embeds into its set of regions, and which is saturated of transitions. We study the problem of selecting subsets of transitions on the same set of states, which generate the same set of regions.|
|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.