Modal-type orthomodular logic

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
Publicado: 2009
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09425616_v55_n3_p307_Domenech
http://hdl.handle.net/20.500.12110/paper_09425616_v55_n3_p307_Domenech
Aporte de:
id paper:paper_09425616_v55_n3_p307_Domenech
record_format dspace
spelling paper:paper_09425616_v55_n3_p307_Domenech2023-06-08T15:53:35Z Modal-type orthomodular logic Baer *-semigroups Modal orthomodular logic Orthomodular lattices 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. 2009 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09425616_v55_n3_p307_Domenech http://hdl.handle.net/20.500.12110/paper_09425616_v55_n3_p307_Domenech
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Baer *-semigroups
Modal orthomodular logic
Orthomodular lattices
spellingShingle Baer *-semigroups
Modal orthomodular logic
Orthomodular lattices
Modal-type orthomodular logic
topic_facet Baer *-semigroups
Modal orthomodular logic
Orthomodular lattices
description 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.
title Modal-type orthomodular logic
title_short Modal-type orthomodular logic
title_full Modal-type orthomodular logic
title_fullStr Modal-type orthomodular logic
title_full_unstemmed Modal-type orthomodular logic
title_sort modal-type orthomodular logic
publishDate 2009
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09425616_v55_n3_p307_Domenech
http://hdl.handle.net/20.500.12110/paper_09425616_v55_n3_p307_Domenech
_version_ 1768542465394999296