INVESTIGADORES
DE RONDE Christian
artículos
Título:
Modal-type orthomodular logic
Autor/es:
GRACIELA DOMENECH; HECTOR FREYTES; CHRISTIAN DE RONDE
Revista:
MATHEMATICAL LOGIC QUARTERLY
Editorial:
WILEY-V C H VERLAG GMBH
Referencias:
Lugar: Weinheim; Año: 2009 vol. 2009 p. 307 - 319
ISSN:
0942-5616
Resumen:
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].
