Modal-type orthomodular logic
classification
🪐 quant-ph
math.LO
keywords
completenessorthomodularaddingalgebraicbaerdevelopedenrichfollowing
read the original 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].
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.