On a logic of observations in occurrence nets
By using standard algebraic techniques, we already showed that orthomodular lattices can be associated to K-dense occurrence nets and that lines and cuts have a specific algebraic counterpart in orthomodular lattices. In this contribution, we elaborate further on the previous results by showing that the orthomodular lattices associated to occurrence nets have a meaningful representation in terms of sets and set operations, that is they are concrete logics in the language of Quantum Logics.
BERNARDINELLO Luca;
FERIGATO Carlo;
POMELLO L.;
ROMBOLA S.;
2015-01-26
Electronic Proceedings in Theoretical Computer Science
JRC90949
2075-2180,
https://publications.jrc.ec.europa.eu/repository/handle/JRC90949,
10.4204/EPTCS.160,
Additional supporting files
| File name | Description | File type | |
|---|
