IAFE 05512
INSTITUTO DE ASTRONOMIA Y FISICA DEL ESPACIO
Unidad Ejecutora - UE
artículos
Título:
Modal-type orthomodular logic
Autor/es:
G. DOMENECH, H. FREYTES AND C. DE RONDE
Revista:
MATHEMATICAL LOGIC QUARTERLY
Editorial:
WILEY-V C H VERLAG GMBH
Referencias:
Año: 2009 vol. 55 p. 307 - 319
ISSN:
0942-5616
Resumen:
In this paper we enrich the orthomodular structure by adding a modaloperator, following a physical motivation. A logical system is developed,obtaining algebraic completeness and completeness with respectto a Kripke-style semantic founded on Baer *-semigroups as in [22].
