Modal-type orthomodular logic

被引：4

作者：

Domenech, Graciela ^{[1
]}

Freytes, Hector ^{[2
,3
]}

de Ronde, Christian ^{[4
,5
]}

机构：

[1] Inst Astron & Fis Espacio, RA-1428 Buenos Aires, DF, Argentina

[2] Univ Cagliari, Dipartimento Sci Pedagog & Filosof, I-09123 Cagliari, Italy

[3] IAM, RA-1083 Buenos Aires, DF, Argentina

[4] Free Univ Brussels, Ctr Leo Apostol CLEA, B-1160 Brussels, Belgium

[5] Free Univ Brussels, Fdn Exact Sci FUND, B-1160 Brussels, Belgium

来源：

MATHEMATICAL LOGIC QUARTERLY | 2009年 / 55卷 / 03期

关键词：

Modal orthomodular logic; orthomodular lattices; Baer (star)-semigroups; QUANTUM-MECHANICS; SEMANTICS;

D O I：

10.1002/malq.200710088

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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 (star)-semigroups as in [22]. (C) 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

引用

页码：307 / 319

页数：13

共 21 条

[1] The logic of quantum mechanics
Birkhoff, G
von Neumann, J
[J]. ANNALS OF MATHEMATICS, 1936, 37 : 823 - 843
[2] BRUNS G, 2000, CURRENT RES OPERATIO, P37
[3] QUANTUM-MECHANICS WITHOUT THE PROJECTION POSTULATE AND ITS REALISTIC INTERPRETATION
DIEKS, D
[J]. FOUNDATIONS OF PHYSICS, 1989, 19 (11) : 1397 - 1423
[4] Quantum mechanics: An intelligible description of objective reality?
Dieks, D
[J]. FOUNDATIONS OF PHYSICS, 2005, 35 (03) : 399 - 415
[5] Dieks D., 1988, Annalen der Physik, V45, P174
[6] IMBEDDING OF QUANTUM LOGIC IN MODAL SYSTEM OF BROWER
DISHKANT, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 321 - 328
[7] Scopes and limits of modality in quantum mechanics
Domenech, G.
Freytes, H.
de Ronde, C.
[J]. ANNALEN DER PHYSIK, 2006, 15 (12) : 853 - 860
[8] A topological study of contextuality and modality in quantum mechanics
Domenech, Graciela
Freytes, Hector
de Ronde, Christian
[J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2008, 47 (01) : 168 - 174
[9] Foulis D. J., 1960, P AM MATH SOC, V11, P648, DOI DOI 10.2307/2034727
[10] ORTHOMODULARITY IS NOT ELEMENTARY
GOLDBLATT, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 401 - 404

← 1 2 3 →