On the public citation graph

An axiom system for the modular logic

0 signed · 44 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.1017/s0305004100011464openalex-snapshot
On the combination of subalgebras
inferredcites →https://doi.org/10.1017/s0305004100013463openalex-snapshot
On the Structure of Abstract Algebras
inferredcites →https://doi.org/10.1080/00029890.1938.11990795openalex-snapshot
New Algebras of Logic
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.19700160608openalex-snapshot
Allgemeine Logische und Mathematische Theorien
inferred← citeshttps://doi.org/10.1002/malq.19740202504openalex-snapshot
Orthomodular Logic
inferred← citeshttps://doi.org/10.1007/3-540-46700-9_3openalex-snapshot
Modal Interpretation of Quantum Mechanics and Classical Physical Theories
inferred← citeshttps://doi.org/10.1007/978-1-4613-3228-2_21openalex-snapshot
Omologic as a Hilbert Type Calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-01162-8_2openalex-snapshot
Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations
inferred← citeshttps://doi.org/10.1007/978-94-009-9351-8_4openalex-snapshot
The Conditional in Abstract and Concrete Quantum Logic
inferred← citeshttps://doi.org/10.1007/978-94-010-9466-5_4openalex-snapshot
The Conditional in Quantum Logic
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-017-2807-2_8openalex-snapshot
Regularly Algebraizable Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-3598-8_1openalex-snapshot
50 Years of Studia Logica: Editorial Introduction
inferred← citeshttps://doi.org/10.1007/bf00258441openalex-snapshot
Orthomodularity and relevance
inferred← citeshttps://doi.org/10.1007/bf00484952openalex-snapshot
The conditional in quantum logic
inferred← citeshttps://doi.org/10.1007/bf00558757openalex-snapshot
Stalnaker conditionals and quantum logic
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/bf00979518openalex-snapshot
Probabilistic forcing in quantum logics
inferred← citeshttps://doi.org/10.1007/bf01837551openalex-snapshot
An axiom system for orthomodular quantum logic
inferred← citeshttps://doi.org/10.1007/bf02120528openalex-snapshot
On logical systems with implications and theories of algebras
inferred← citeshttps://doi.org/10.1007/bf02123281openalex-snapshot
On quantity of logical values in the discussive D2 system and in modular logic
inferred← citeshttps://doi.org/10.1007/bf02123378openalex-snapshot
Logics based on partial Boolean σ-algebras (1)
inferred← citeshttps://doi.org/10.1007/bf02124271openalex-snapshot
Logical systems with implications
inferred← citeshttps://doi.org/10.1007/bf02282550openalex-snapshot
The modular logic as a calculus of logical schemata
inferred← citeshttps://doi.org/10.1007/bf02314425openalex-snapshot
Logics based on partial Boolean σ-algebras
inferred← citeshttps://doi.org/10.1007/bf02483861openalex-snapshot
Quasi-implication algebras, Part I: Elementary theory
inferred← citeshttps://doi.org/10.1007/s00012-018-0562-4openalex-snapshot
Canonical extensions and ultraproducts of polarities
inferred← citeshttps://doi.org/10.1007/s10773-017-3402-yopenalex-snapshot
The Problem of Conjunction and Disjunction in Quantum Logics
inferred← citeshttps://doi.org/10.1007/s10773-025-06153-9openalex-snapshot
Quantum Set Theory: Quantum Conditionals and Order of Observables
inferred← citeshttps://doi.org/10.1007/s11225-010-9300-4openalex-snapshot
The Quasi-lattice of Indiscernible Elements
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102938openalex-snapshot
Quantum set theory: Transfer Principle and De Morgan's Laws
inferred← citeshttps://doi.org/10.1017/s1755020317000120openalex-snapshot
ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
inferred← citeshttps://doi.org/10.1023/a:1003637804632openalex-snapshot
On Some New Operations on Orthomodular Lattices
inferred← citeshttps://doi.org/10.1023/a:1015696525837openalex-snapshot
Open Systems and Consciousness: A Philosophical Discussion
inferred← citeshttps://doi.org/10.1142/9789814503105_bmatteropenalex-snapshot
BACK MATTER
inferred← citeshttps://doi.org/10.12775/llp.2005.008openalex-snapshot
Some remarks on axiomatizing logical consequence operations
inferred← citeshttps://doi.org/10.1305/ndjfl/1093883401openalex-snapshot
Material implication in orthomodular (and Boolean) lattices.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093891789openalex-snapshot
Implication connectives in orthomodular lattices.
inferred← citeshttps://doi.org/10.2178/jsl/1185803627openalex-snapshot
Transfer principle in quantum set theory
inferred← citeshttps://doi.org/10.2307/2274651openalex-snapshot
The deduction theorem for quantum logic—some negative results
inferred← citeshttps://doi.org/10.4153/cmb-1981-038-9openalex-snapshot
A Finitely Generated Modular Ortholattice
inferred← citeshttps://doi.org/10.48550/arxiv.0902.3184openalex-snapshot
Algebraic aspects of quantum indiscernibility
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.