Modal-type orthomodular logic

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Domenech, G., Freytes, H., de Ronde, C.
Formato: JOUR
Materias:
Baer *-semigroups
Modal orthomodular logic
Orthomodular lattices
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09425616_v55_n3_p307_Domenech
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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 GmbH & Co. KGaA, Weinheim.

Ejemplares similares