Modal-type orthomodular logic
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 Kripkestyle semantic founded on Baer *-semigroups as in [22]. © 2009 WILEY-VCH Verlag Gmb...
Guardado en:
| Autores principales: | Domenech, G., Freytes, H., de Ronde, C. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09425616_v55_n3_p307_Domenech |
| Aporte de: |
Ejemplares similares
-
Modal-type orthomodular logic
Publicado: (2009) -
The square of opposition in orthomodular logic
por: Freytes, H., et al. -
The square of opposition in orthomodular logic
Publicado: (2012) -
Scopes and limits of modality in quantum mechanics
por: Domenech, G., et al. -
Equational characterization for two-valued states in orthomodular quantum systems
por: Domenech, G., et al.