Artículo

Modal-type orthomodular logic

Domenech, GracielaIcon ; Freytes Solari, Hector CarlosIcon ; de Ronde, ChristianIcon
Fecha de publicación: 05/2009
Editorial: Wiley VCH Verlag
Revista: Mathematical Logic Quarterly
ISSN: 0942-5616
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

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].
Palabras clave: Modal Logic , Quantum Mechanics
 
Archivos asociados
Thumbnail
 
Tamaño: 173.0Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/21552
DOI: http://dx.doi.org/10.1002/malq.200710088
URL: http://onlinelibrary.wiley.com/doi/10.1002/malq.200710088/abstract
Colecciones
Articulos(CCT - ROSARIO)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - ROSARIO
Articulos(IAFE)
Articulos de INST.DE ASTRONOMIA Y FISICA DEL ESPACIO(I)
Citación
Domenech, Graciela; Freytes Solari, Hector Carlos; de Ronde, Christian; Modal-type orthomodular logic; Wiley VCH Verlag; Mathematical Logic Quarterly; 55; 3; 5-2009; 307-319
Compartir
Altmétricas