On the public citation graph
Orthoimplication algebras
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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1112/jlms/s1-41.1.572openalex-snapshot
THE MATHEMATICS OF METAMATHEMATICS
inferredcites →https://doi.org/10.2307/2317407openalex-snapshot
Sets, Lattices, and Boolean Algebras.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-52163-9_4openalex-snapshot
Implication in Weakly and Dually Weakly Orthomodular Lattices
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/bf00669413openalex-snapshot
Minimal quantum logic with merged implications
inferred← citeshttps://doi.org/10.1007/bf00671784openalex-snapshot
A new axiomatization of unified quantum logic
inferred← citeshttps://doi.org/10.1007/bf00739999openalex-snapshot
Bibliography on quantum logics and related structures
inferred← citeshttps://doi.org/10.1007/bf01837551openalex-snapshot
An axiom system for orthomodular quantum logic
inferred← citeshttps://doi.org/10.1007/bf02483861openalex-snapshot
Quasi-implication algebras, Part I: Elementary theory
inferred← citeshttps://doi.org/10.1007/s00500-013-1200-xopenalex-snapshot
Filters of implication reducts of basic algebras
inferred← citeshttps://doi.org/10.1007/s00500-017-2750-0openalex-snapshot
The logic of distributive nearlattices
inferred← citeshttps://doi.org/10.1007/s00500-018-3309-4openalex-snapshot
Operations and structures derived from non-associative MV-algebras
inferred← citeshttps://doi.org/10.1007/s10587-008-0002-2openalex-snapshot
The axioms for implication in orthologic
inferred← citeshttps://doi.org/10.1007/s10773-023-05355-3openalex-snapshot
Generalized $$\mathbb {XOR}$$ Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics
inferred← citeshttps://doi.org/10.1007/s11083-013-9309-1openalex-snapshot
Quasi-orthomodular Posets and Weak BCK-algebras
inferred← citeshttps://doi.org/10.1007/s11083-023-09633-xopenalex-snapshot
Extension of Sectional Pseudocomplementation in Posets
inferred← citeshttps://doi.org/10.1007/s11083-025-09706-zopenalex-snapshot
Orthogonality Relations and Operators on Bounded Quasi-Implication Algebras
inferred← citeshttps://doi.org/10.1016/j.disc.2007.08.101openalex-snapshot
Congruence kernels of orthomodular implication algebras
inferred← citeshttps://doi.org/10.1023/a:1014857228326openalex-snapshot
Deduction, Ordering, and Operations in Quantum Logic
inferred← citeshttps://doi.org/10.1023/a:1026637918703openalex-snapshot
Identity Rule for Classical and Quantum Theories
inferred← citeshttps://doi.org/10.1023/a:1026685801864openalex-snapshot
Quantum and Classical Implication Algebras with Primitive Implications
inferred← citeshttps://doi.org/10.1023/b:ijtp.0000006006.18494.1copenalex-snapshot
Equivalencies, Identities, Symmetric Differences, and Congruencies in Orthomodular Lattices
inferred← citeshttps://doi.org/10.1023/b:ijtp.0000006007.58191.daopenalex-snapshot
Quantum Implication Algebras
inferred← citeshttps://doi.org/10.1093/logcom/exaf015openalex-snapshot
Remarks on skew Hilbert algebras and weak BCK*-algebras
inferred← citeshttps://doi.org/10.1109/ismvl.2017.15openalex-snapshot
The Groupoid-Based Logic for Lattice Effect Algebras
inferred← citeshttps://doi.org/10.1142/s1793557115500400openalex-snapshot
Basic algebras, logics, trends and applications
inferred← citeshttps://doi.org/10.12688/f1000research.180502.1openalex-snapshot
Fuzzy Ideals and Fuzzy Filters on Implication Algebras
inferred← citeshttps://doi.org/10.14232/actasm-015-813-6openalex-snapshot
An implicational logic for orthomodular lattices
inferred← citeshttps://doi.org/10.1515/ms-2015-0179openalex-snapshot
An approach to orthomodular lattices via lattices with an antitone involution
inferred← citeshttps://doi.org/10.1553/sunda2007ssii33openalex-snapshot
Generalizations of Implication Algebras
inferred← citeshttps://doi.org/10.18514/mmn.2006.130openalex-snapshot
Sectional switching mapping in semilattices
inferred← citeshttps://doi.org/10.18514/mmn.2006.140openalex-snapshot
Subdirectly irreducible distributive nearlattices
inferred← citeshttps://doi.org/10.18514/mmn.2022.3854openalex-snapshot
Join-semilattices whose principal filters are pseudocomplemented lattices
inferred← citeshttps://doi.org/10.18778/0138-0680.2021.22openalex-snapshot
Sequent Calculi for Orthologic with Strict Implication
inferred← citeshttps://doi.org/10.21136/mb.2007.133966openalex-snapshot
On systems of congruences on principal filters of orthomodular implication algebras
inferred← citeshttps://doi.org/10.46300/91019.2022.9.16openalex-snapshot
Properties of Homomorphism and Quotient Implication Algebra on Implication Algebras
inferred← citeshttps://doi.org/10.7151/dmgaa.1170openalex-snapshot
Congruences on semilattices with section antitone involutions
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.