Modal‐type orthomodular logic

, &
Mathematical Logic Quarterly 55 (3):307-319 (2009)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710088

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,126

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modal-type orthomodular logic.Trixie Wagner & Andreas Schouml - forthcoming - Mathematical Logic Quarterly.
Daggers, Kernels, Baer *-semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Kripke-style Semantics of Orthomodular Logics.Yutaka Miyazaki - 2001 - Mathematical Logic Quarterly 47 (3):341-362.
Topological duality for orthomodular lattices.Joseph McDonald & Katalin Bimbó - 2023 - Mathematical Logic Quarterly 69 (2):174-191.
Enriched Quantales Arising from Complete Orthomodular Lattices.Soroush Rafiee Rad, Joshua Sack & Shengyang Zhong - forthcoming - Studia Logica:1-39.
An axiom system for orthomodular quantum logic.Gary M. Hardegree - 1981 - Studia Logica 40 (1):1 - 12.
Orthomodular Structures as Quantum Logics.Pavel Pták & Sylvia Pulmannová - 1991 - Springer.
The logic of orthomodular posets of finite height.Ivan Chajda & Helmut Länger - 2022 - Logic Journal of the IGPL 30 (1):143-154.
Modal propositional logic on an orthomodular basis. I.L. Herman & R. Piziak - 1974 - Journal of Symbolic Logic 39 (3):478-488.
A Substructural Gentzen Calculus for Orthomodular Quantum Logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - 2023 - Review of Symbolic Logic 16 (4):1177-1198.

Analytics

Added to PP
2013-12-01

Downloads
52 (#463,779)

6 months
3 (#1,170,603)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Interpreting the Modal Kochen–Specker theorem: Possibility and many worlds in quantum mechanics.Christian de Ronde, Hector Freytes & Graciela Domenech - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45:11-18.
Oppositions and opposites.Fabien Schang - 2012 - In Jean-Yves Béziau & Dale Jacquette, Around and Beyond the Square of Opposition. New York: Springer Verlag. pp. 147--173.

View all 27 citations / Add more citations

References found in this work

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Orthomodularity is not elementary.Robert Goldblatt - 1984 - Journal of Symbolic Logic 49 (2):401-404.
Quantum logic and physical modalities.M. L. Dalla Chiara - 1977 - Journal of Philosophical Logic 6 (1):391-404.

View all 11 references / Add more references