Modal-type orthomodular logic
Quantum Physics
2009-12-22 v1 Logic
Abstract
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded on Baer *-semigroups as in [20].
Cite
@article{arxiv.0807.1278,
title = {Modal-type orthomodular logic},
author = {G. Domenech and H. Freytes and C. de Ronde},
journal= {arXiv preprint arXiv:0807.1278},
year = {2009}
}
Comments
submitted to the Mathematical Logic Quarterly