On the public citation graph

Semantics of the minimal logic of quantum mechanics

https://doi.org/10.1007/bf02120818
0 signed · 75 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.2307/1968621openalex-snapshot
The Logic of Quantum Mechanics

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19740202504openalex-snapshot
Orthomodular Logic
inferred← citeshttps://doi.org/10.1007/11780274_4openalex-snapshot
Quantum Institutions
inferred← citeshttps://doi.org/10.1007/978-1-4613-3228-2_1openalex-snapshot
Classification of Different Areas of Work Afferent to Quantum Logic
inferred← citeshttps://doi.org/10.1007/978-1-4613-3228-2_11openalex-snapshot
Some Metalogical Pathologies of Quantum Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-30227-8_22openalex-snapshot
Reasoning About Quantum Systems
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_7openalex-snapshot
Quantum Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-7702-0_2openalex-snapshot
Some Logical Problems Suggested by Empirical Theories
inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_19openalex-snapshot
Logical Foundations of Quantum Mechanics
inferred← citeshttps://doi.org/10.1007/978-94-010-9940-0_9openalex-snapshot
Philosophy of quantum mechanics
inferred← citeshttps://doi.org/10.1007/978-94-011-2014-2_31openalex-snapshot
A Survey of Fuzzy Intuitionistic Logics in Quantum Mechanics
inferred← citeshttps://doi.org/10.1007/bf00209322openalex-snapshot
Truth versus testability in Quantum Logic
inferred← citeshttps://doi.org/10.1007/bf00258445openalex-snapshot
The modal logic of quantum logic
inferred← citeshttps://doi.org/10.1007/bf00262076openalex-snapshot
Quantum logic and physical modalities
inferred← citeshttps://doi.org/10.1007/bf00370334openalex-snapshot
Strong versus weak quantum consequence operations
inferred← citeshttps://doi.org/10.1007/bf00403330openalex-snapshot
What is quantum logic?
inferred← citeshttps://doi.org/10.1007/bf00486053openalex-snapshot
Some foundational problems in mathematics suggested by physics
inferred← citeshttps://doi.org/10.1007/bf00493669openalex-snapshot
Partial Boolean algebras in a broader sense
inferred← citeshttps://doi.org/10.1007/bf00669413openalex-snapshot
Minimal quantum logic with merged implications
inferred← citeshttps://doi.org/10.1007/bf00670756openalex-snapshot
Classical foundations of quantum logic
inferred← citeshttps://doi.org/10.1007/bf00671616openalex-snapshot
Proof theory for minimal quantum logic I
inferred← citeshttps://doi.org/10.1007/bf00672648openalex-snapshot
On some definition of physical state
inferred← citeshttps://doi.org/10.1007/bf00672851openalex-snapshot
Nonordered quantum logic and its YES-NO representation
inferred← citeshttps://doi.org/10.1007/bf00739999openalex-snapshot
Bibliography on quantum logics and related structures
inferred← citeshttps://doi.org/10.1007/bf00979496openalex-snapshot
Fuzzy quantum logic II. The logics of unsharp quantum mechanics
inferred← citeshttps://doi.org/10.1007/bf01057656openalex-snapshot
Fuzzy intuitionistic quantum logics
inferred← citeshttps://doi.org/10.1007/bf01883153openalex-snapshot
Unified quantum logic
inferred← citeshttps://doi.org/10.1007/bf02120877openalex-snapshot
A general approach to non-distributive logics
inferred← citeshttps://doi.org/10.1007/bf02123378openalex-snapshot
Logics based on partial Boolean σ-algebras (1)
inferred← citeshttps://doi.org/10.1007/bf02314425openalex-snapshot
Logics based on partial Boolean σ-algebras
inferred← citeshttps://doi.org/10.1007/s00012-021-00711-yopenalex-snapshot
Three roads to complete lattices: orders, compatibility, polarity
inferred← citeshttps://doi.org/10.1007/s10699-024-09970-zopenalex-snapshot
Preparation and Test in Physics
inferred← citeshttps://doi.org/10.1007/s10701-023-00710-0openalex-snapshot
Quantum Entanglement: An Analysis via the Orthogonality Relation
inferred← citeshttps://doi.org/10.1007/s10773-020-04701-zopenalex-snapshot
Translation from Three-Valued Quantum Logic to Modal Logic
inferred← citeshttps://doi.org/10.1007/s10849-017-9262-2openalex-snapshot
On the Modal Logic of the Non-orthogonality Relation Between Quantum States
inferred← citeshttps://doi.org/10.1007/s10992-021-09608-6openalex-snapshot
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
inferred← citeshttps://doi.org/10.1007/s10992-024-09746-7openalex-snapshot
The Orthologic of Epistemic Modals
inferred← citeshttps://doi.org/10.1007/s11225-017-9733-0openalex-snapshot
Correspondence Between Kripke Frames and Projective Geometries
inferred← citeshttps://doi.org/10.1007/s11229-011-9915-7openalex-snapshot
The dynamic turn in quantum logic
inferred← citeshttps://doi.org/10.1007/s11229-021-03367-2openalex-snapshot
Why classical logic is privileged: justification of logics based on translatability
inferred← citeshttps://doi.org/10.1007/s11229-021-03375-2openalex-snapshot
Two quantum logics of indeterminacy
inferred← citeshttps://doi.org/10.1007/s11229-021-03453-5openalex-snapshot
Quantum states: an analysis via the orthogonality relation
inferred← citeshttps://doi.org/10.1016/b978-0-444-52869-8.50008-6openalex-snapshot
Quantum Logic and Nonclassical Logics
inferred← citeshttps://doi.org/10.1016/b978-0-444-52869-8.50009-8openalex-snapshot
Gentzen Methods in Quantum Logic
inferred← citeshttps://doi.org/10.1016/b978-0-444-52869-8.50011-6openalex-snapshot
Extending Classical Logic for Reasoning About Quantum Systems
inferred← citeshttps://doi.org/10.1016/j.ic.2006.02.001openalex-snapshot
Weakly complete axiomatization of exogenous quantum propositional logic
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70695-0openalex-snapshot
The Relevance of Quantum Logic in the Domain of Non-Classical Logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80007-0openalex-snapshot
The History of Quantum Logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzae123openalex-snapshot
Quantum modal logic
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.001.0001openalex-snapshot
Optimality Justifications
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.002.0005openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.002.0006openalex-snapshot
List of Figures
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.002.0007openalex-snapshot
List of Symbols
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.002.0008openalex-snapshot
List of Definitions, Propositions, and Memos
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0002openalex-snapshot
Knowledge and Justification
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0003openalex-snapshot
Foundation Theory and Its Alternatives: A Critical Discussion
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0004openalex-snapshot
Foundation-theoretic Epistemology I: Internalism and Minimal Basis
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0005openalex-snapshot
Foundation-theoretic Epistemology II: Conditional Justification and Non-circularity
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0006openalex-snapshot
Foundation-theoretic Epistemology III: Optimality Justifications
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0007openalex-snapshot
Justification of Inductive Reasoning
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0008openalex-snapshot
From Optimal Inductive Methods to Optimal Beliefs
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0009openalex-snapshot
Justification of Logics and Conceptual Frameworks
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0010openalex-snapshot
Abductive Inference to Theories
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0011openalex-snapshot
The Justification of Theory-generating Abduction
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.003.0012openalex-snapshot
Conclusion and Outlook
inferred← citeshttps://doi.org/10.1093/oso/9780198887546.005.0001openalex-snapshot
Mathematical Appendix
inferred← citeshttps://doi.org/10.1098/rspa.2025.0628openalex-snapshot
Constructive quantum logics
inferred← citeshttps://doi.org/10.1142/9789814503105_bmatteropenalex-snapshot
BACK MATTER
inferred← citeshttps://doi.org/10.1145/3576926openalex-snapshot
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
inferred← citeshttps://doi.org/10.1305/ndjfl/1093891789openalex-snapshot
Implication connectives in orthomodular lattices.
inferred← citeshttps://doi.org/10.3390/logics1010004openalex-snapshot
A Fundamental Non-Classical Logic
inferred← citeshttps://doi.org/10.4236/jqis.2017.73009openalex-snapshot
A Probabilistic Paraconsistent Logical Model for Non-Relativistic Quantum Mechanics Using Interlaced Bilattices with Conflation and Bernoulli Distribution
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.