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...
Guardado en:
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 |