IAFE   05512
INSTITUTO DE ASTRONOMIA Y FISICA DEL ESPACIO
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Una extensión modal de la lógica ortomodular
Autor/es:
HECTOR FREYTES Y GRACIELA DOMENECH
Lugar:
Buenos Aires
Reunión:
Workshop; Encuentro sobre lógica de la mecánica cuántica en el cono sur; 2010
Institución organizadora:
Instituto Argentino de Matemática
Resumen:
Enriquecemos la estructura ortomodular propia de la mecáncia cuántica por medio del agregado de un operador modal, desarrollamos el correspondiente sistema lógico obteniendo teoremas de completitud algebraica y completitud respecto de una semántica tipo Kripke basada en los semigrupos estrella de Baer.