On the public citation graph
Semantic analysis of orthologic
0 signed · 264 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/0097-3165(71)90040-9openalex-snapshot
Lexicographic orthogonality
inferredcites →https://doi.org/10.1080/00029890.1970.11992491openalex-snapshot
An Approach to Empirical Logic
inferredcites →https://doi.org/10.1111/j.1755-2567.1970.tb00432.xopenalex-snapshot
Propositional quantifiers in modal logic1
inferredcites →https://doi.org/10.1111/j.1755-2567.1974.tb00077.xopenalex-snapshot
An incompleteness theorem in modal logic
inferredcites →https://doi.org/10.2140/pjm.1964.14.597openalex-snapshot
Atomic orthocomplemented lattices
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.19870330503openalex-snapshot
Weak Logics with Strict Implication
inferred← citeshttps://doi.org/10.1002/malq.202200044openalex-snapshot
Topological duality for orthomodular lattices
inferred← citeshttps://doi.org/10.1007/978-1-4613-0897-3_17openalex-snapshot
Modal Environment for Boolean Speculations
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-1-4613-3228-2_18openalex-snapshot
The Inner Language of Operational Quantum Mechanics
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-3-030-33792-6_18openalex-snapshot
Subset Spaces for Conditional Norms
inferred← citeshttps://doi.org/10.1007/978-3-030-58285-2_17openalex-snapshot
Cones, Negation, and All That
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_12openalex-snapshot
St. Alasdair on Lattices Everywhere
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_13openalex-snapshot
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_21openalex-snapshot
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_8openalex-snapshot
Cover Systems for the Modalities of Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-88853-4_22openalex-snapshot
Disjunction and Negation in Information Based Semantics
inferred← citeshttps://doi.org/10.1007/978-3-030-88853-4_6openalex-snapshot
A General Relational Semantics of Propositional Logic: Axiomatization
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_14openalex-snapshot
Substructural Negations as Normal Modal Operators
inferred← citeshttps://doi.org/10.1007/978-3-031-62687-6_8openalex-snapshot
Rules of Partial Orthomodularity
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_14openalex-snapshot
Proofs with Star and Perp
inferred← citeshttps://doi.org/10.1007/978-3-031-82994-9_3openalex-snapshot
Relevant Semantics for Connexive Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-86054-6_1openalex-snapshot
Vagueness and the Connectives
inferred← citeshttps://doi.org/10.1007/978-3-319-10193-4_24openalex-snapshot
On Metalogical Relativism
inferred← citeshttps://doi.org/10.1007/978-3-319-17873-8_11openalex-snapshot
What Part of ‘Not’ Don’t We Understand?
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_10openalex-snapshot
On Split Negation, Strong Negation, Information, Falsification, and Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_14openalex-snapshot
Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_9openalex-snapshot
Comparing Contents with Information
inferred← citeshttps://doi.org/10.1007/978-3-642-15164-4_2openalex-snapshot
Conditioning by Minimizing Accessibility
inferred← citeshttps://doi.org/10.1007/978-3-662-05679-0_20openalex-snapshot
From Semantics to Syntax: Quantum Logic of Observables
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_11openalex-snapshot
Lattice Logic Properly Displayed
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_24openalex-snapshot
Strategic Knowledge of the Past in Quantum Cryptography
inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_7openalex-snapshot
A Discrete Representation of Lattice Frames
inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_3openalex-snapshot
Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
inferred← citeshttps://doi.org/10.1007/978-94-007-4438-7_10openalex-snapshot
FDE: A Logic of Clutters
inferred← citeshttps://doi.org/10.1007/978-94-007-4438-7_4openalex-snapshot
Information, Negation, and Paraconsistency
inferred← citeshttps://doi.org/10.1007/978-94-009-2909-8_16openalex-snapshot
The Impossibility of Certain Higher-Order Non-Classical Logics with Extensionality
inferred← citeshttps://doi.org/10.1007/978-94-009-6309-2_4openalex-snapshot
Controlled-Error Theories of Proximity and Dominance
inferred← citeshttps://doi.org/10.1007/978-94-009-8937-5_12openalex-snapshot
Is there a Logic of Empirical Sciences?
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-009-9351-8_4openalex-snapshot
The Conditional in Abstract and Concrete 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-011-1152-2_7openalex-snapshot
Logic and Probability in Quantum Mechanics
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_2openalex-snapshot
A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation
inferred← citeshttps://doi.org/10.1007/978-94-017-1201-9_1openalex-snapshot
Operational Quantum Logic: An Overview
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_12openalex-snapshot
Basic Logic and the Cube of its Extensions
inferred← citeshttps://doi.org/10.1007/978-981-96-8566-0_9openalex-snapshot
Complete and Terminating Tableau Calculus for Undirected Graph
inferred← citeshttps://doi.org/10.1007/bf00136119openalex-snapshot
An exact philosophy of inexactness
inferred← citeshttps://doi.org/10.1007/bf00249437openalex-snapshot
A semantical investigation on Brouwer-Zadeh logic
inferred← citeshttps://doi.org/10.1007/bf00262066openalex-snapshot
Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics
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/bf00396903openalex-snapshot
Quantum logics and Lindenbaum property
inferred← citeshttps://doi.org/10.1007/bf00486053openalex-snapshot
Some foundational problems in mathematics suggested by physics
inferred← citeshttps://doi.org/10.1007/bf00669413openalex-snapshot
Minimal quantum logic with merged implications
inferred← citeshttps://doi.org/10.1007/bf00671616openalex-snapshot
Proof theory for minimal quantum logic I
inferred← citeshttps://doi.org/10.1007/bf00671784openalex-snapshot
A new axiomatization of unified quantum logic
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/bf01057656openalex-snapshot
Fuzzy intuitionistic quantum logics
inferred← citeshttps://doi.org/10.1007/bf01837551openalex-snapshot
An axiom system for orthomodular quantum logic
inferred← citeshttps://doi.org/10.1007/bf02055256openalex-snapshot
Some results on BZ structures from Hilbertian unsharp quantum physics
inferred← citeshttps://doi.org/10.1007/bf02057862openalex-snapshot
Partial and unsharp quantum logics
inferred← citeshttps://doi.org/10.1007/bfb0018431openalex-snapshot
Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators
inferred← citeshttps://doi.org/10.1007/pl00003848openalex-snapshot
Leibniz filters and the strong version of a protoalgebraic logic
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/s00012-022-00789-yopenalex-snapshot
Choice-free duality for orthocomplemented lattices by means of spectral spaces
inferred← citeshttps://doi.org/10.1007/s00012-023-00830-8openalex-snapshot
Choice-free topological duality for implicative lattices and Heyting algebras
inferred← citeshttps://doi.org/10.1007/s00012-025-00912-9openalex-snapshot
Functional monadic ortholattices and locally finite $$\sigma $$-free polyadic ortholattices
inferred← citeshttps://doi.org/10.1007/s00500-015-1802-6openalex-snapshot
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
inferred← citeshttps://doi.org/10.1007/s10472-022-09806-1openalex-snapshot
Learning with cone-based geometric models and orthologics
inferred← citeshttps://doi.org/10.1007/s10516-018-9397-zopenalex-snapshot
Fungibility in Quantum Sets
inferred← citeshttps://doi.org/10.1007/s10699-024-09970-zopenalex-snapshot
Preparation and Test in Physics
inferred← citeshttps://doi.org/10.1007/s10701-009-9406-6openalex-snapshot
Basis Logic for Application in Physics and Its Intuitionistic Alternative
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-005-8022-2openalex-snapshot
Complete Axiomatizations for Quantum Actions
inferred← citeshttps://doi.org/10.1007/s10773-006-9060-0openalex-snapshot
Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach
inferred← citeshttps://doi.org/10.1007/s10773-006-9254-5openalex-snapshot
Foundation for Quantum Computing II
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/s10849-026-09466-yopenalex-snapshot
Carnap, Categoricity, and Commas
inferred← citeshttps://doi.org/10.1007/s10867-017-9460-9openalex-snapshot
Quantum-like behavior without quantum physics I
inferred← citeshttps://doi.org/10.1007/s10988-023-09407-zopenalex-snapshot
Negation and modality in unilateral truthmaker semantics
inferred← citeshttps://doi.org/10.1007/s10992-013-9268-4openalex-snapshot
Logical Consequence and the Paradoxes
inferred← citeshttps://doi.org/10.1007/s10992-016-9417-7openalex-snapshot
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework
inferred← citeshttps://doi.org/10.1007/s10992-017-9427-0openalex-snapshot
There is More to Negation than Modality
inferred← citeshttps://doi.org/10.1007/s10992-017-9428-zopenalex-snapshot
Proof Theory of Paraconsistent Quantum Logic
inferred← citeshttps://doi.org/10.1007/s10992-018-9467-0openalex-snapshot
HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
inferred← citeshttps://doi.org/10.1007/s10992-019-09510-2openalex-snapshot
Negation on the Australian Plan
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/s10992-024-09756-5openalex-snapshot
Axiomatization of an Orthologic of Indeterminacy
inferred← citeshttps://doi.org/10.1007/s11225-005-6777-3openalex-snapshot
Some Properties of Orthologics
inferred← citeshttps://doi.org/10.1007/s11225-008-9160-3openalex-snapshot
Bets and Boundaries: Assigning Probabilities to Imprecisely Specified Events
inferred← citeshttps://doi.org/10.1007/s11225-010-9259-1openalex-snapshot
An Alternative Propositional Calculus for Application to Empirical Sciences
inferred← citeshttps://doi.org/10.1007/s11225-011-9360-0openalex-snapshot
Grishin Algebras and Cover Systems for Classical Bilinear Logic
inferred← citeshttps://doi.org/10.1007/s11225-014-9592-xopenalex-snapshot
Duality for the Logic of Quantum Actions
inferred← citeshttps://doi.org/10.1007/s11225-017-9733-0openalex-snapshot
Correspondence Between Kripke Frames and Projective Geometries
inferred← citeshttps://doi.org/10.1007/s11225-018-9837-1openalex-snapshot
Valuations: Bi, Tri, and Tetra
inferred← citeshttps://doi.org/10.1007/s11225-023-10069-yopenalex-snapshot
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
inferred← citeshttps://doi.org/10.1007/s11225-024-10131-3openalex-snapshot
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
inferred← citeshttps://doi.org/10.1007/s11225-025-10186-wopenalex-snapshot
A Unified Relational Semantics for BPL, IPL and OL: Axiomatization Without Disjunction
inferred← citeshttps://doi.org/10.1007/s11229-010-9783-6openalex-snapshot
Quantum logic as a dynamic logic
inferred← citeshttps://doi.org/10.1007/s11229-011-9915-7openalex-snapshot
The dynamic turn in quantum logic
inferred← citeshttps://doi.org/10.1007/s11229-014-0625-9openalex-snapshot
The possibility of vagueness
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-03453-5openalex-snapshot
Quantum states: an analysis via the orthogonality relation
inferred← citeshttps://doi.org/10.1007/s11229-025-05207-zopenalex-snapshot
Obligations and permissions on selfextensional logics
inferred← citeshttps://doi.org/10.1007/s11245-011-9108-5openalex-snapshot
On A Neglected Path to Intuitionism
inferred← citeshttps://doi.org/10.1007/s11787-007-0016-9openalex-snapshot
Functorial Duality for Ortholattices and De Morgan Lattices
inferred← citeshttps://doi.org/10.1007/s11787-022-00298-5openalex-snapshot
On the Universality of Atomic and Molecular Logics via Protologics
inferred← citeshttps://doi.org/10.1007/s11787-023-00326-yopenalex-snapshot
Probability Logics for Reasoning About Quantum Observations
inferred← citeshttps://doi.org/10.1007/s13218-026-00912-4openalex-snapshot
Conceptual Orthospaces—An Embedding Framework Accounting for Negation Operators and Convexity Constraints
inferred← citeshttps://doi.org/10.1007/s42452-019-1193-xopenalex-snapshot
Feasible computation based on quantum logic
inferred← citeshttps://doi.org/10.1016/b978-0-444-52869-8.50005-0openalex-snapshot
Is Quantum Logic a Logic?
inferred← citeshttps://doi.org/10.1016/j.apal.2019.04.003openalex-snapshot
Algorithmic correspondence and canonicity for non-distributive logics
inferred← citeshttps://doi.org/10.1016/j.apal.2021.102962openalex-snapshot
Computational complexity for bounded distributive lattices with negation
inferred← citeshttps://doi.org/10.1016/j.apal.2023.103374openalex-snapshot
Positive modal logic beyond distributivity
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103635openalex-snapshot
Unified inverse correspondence for LE-logics
inferred← citeshttps://doi.org/10.1016/j.fss.2018.05.007openalex-snapshot
Bilattice logic properly displayed
inferred← citeshttps://doi.org/10.1016/j.fss.2024.108892openalex-snapshot
Modal reduction principles across relational semantics
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109013openalex-snapshot
Conceptual orthospaces—Convexity meets negation
inferred← citeshttps://doi.org/10.1016/j.jal.2011.12.001openalex-snapshot
Quantum-like logics and schizophrenia
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.05.003openalex-snapshot
A logical study of group-size based social network creation
inferred← citeshttps://doi.org/10.1016/j.pbiomolbio.2013.03.014openalex-snapshot
The computationalist reformulation of the mind-body problem
inferred← citeshttps://doi.org/10.1016/j.pbiomolbio.2015.06.013openalex-snapshot
The universal numbers. From Biology to Physics
inferred← citeshttps://doi.org/10.1016/j.pbiomolbio.2017.08.017openalex-snapshot
The East, the West and the universal machine
inferred← citeshttps://doi.org/10.1016/j.plrev.2005.07.001openalex-snapshot
Theoretical computer science and the natural sciences
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114875openalex-snapshot
Polynomial-time checking of generalized Sahlqvist syntactic shape
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00164-3openalex-snapshot
Quantum logic, Hilbert space, revision theory
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70953-4openalex-snapshot
Orthologic, Forcing, and The Manifestation of Attributes
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/s0165-0114(01)00164-6openalex-snapshot
Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80007-0openalex-snapshot
The History of Quantum Logic
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.006openalex-snapshot
Algebras and General Frames
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.007openalex-snapshot
Computability and Complexity
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.012openalex-snapshot
A Guide to the Literature
inferred← citeshttps://doi.org/10.1017/s0960129506005299openalex-snapshot
LQP: the dynamic logic of quantum information
inferred← citeshttps://doi.org/10.1017/s0960129510000125openalex-snapshot
A solution of the uniform word problem for ortholattices
inferred← citeshttps://doi.org/10.1017/s1079898600004066openalex-snapshot
2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
inferred← citeshttps://doi.org/10.1017/s1755020309090169openalex-snapshot
MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
inferred← citeshttps://doi.org/10.1017/s1755020309090194openalex-snapshot
CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
inferred← citeshttps://doi.org/10.1017/s1755020313000026openalex-snapshot
A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
inferred← citeshttps://doi.org/10.1017/s175502031400001xopenalex-snapshot
ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE
inferred← citeshttps://doi.org/10.1017/s1755020322000016openalex-snapshot
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
inferred← citeshttps://doi.org/10.1017/s1755020323000229openalex-snapshot
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC
inferred← citeshttps://doi.org/10.1023/a:1004982417404openalex-snapshot
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics
inferred← citeshttps://doi.org/10.1023/a:1005003904639openalex-snapshot
Natural Deduction for Non-Classical Logics
inferred← citeshttps://doi.org/10.1023/a:1012280814127openalex-snapshot
The Logical Structure of Linguistic Commitment III Brandomian Scorekeeping and Incompatibility
inferred← citeshttps://doi.org/10.1023/a:1014857228326openalex-snapshot
Deduction, Ordering, and Operations in Quantum Logic
inferred← citeshttps://doi.org/10.1023/a:1024410829713openalex-snapshot
Foundation for Quantum Computing
inferred← citeshttps://doi.org/10.1057/9781137003720_10openalex-snapshot
How to Rule Out Things with Words: Strong Paraconsistency and the Algebra of Exclusion
inferred← citeshttps://doi.org/10.1080/00048400801886199openalex-snapshot
Άδύνατον and material exclusion
inferred← citeshttps://doi.org/10.1080/11663081.2014.964490openalex-snapshot
Prior’s OIC nonconservativity example revisited
inferred← citeshttps://doi.org/10.1080/11663081.2016.1174361openalex-snapshot
First-order frames for orthomodular quantum logic
inferred← citeshttps://doi.org/10.1080/11663081.2018.1442138openalex-snapshot
Mixed algebras and their logics
inferred← citeshttps://doi.org/10.1080/11663081.2018.1547515openalex-snapshot
Lattice logic as a fragment of (2-sorted) residuated modal logic
inferred← citeshttps://doi.org/10.1080/11663081.2019.1703469openalex-snapshot
Modal translation of substructural logics
inferred← citeshttps://doi.org/10.1086/psaprocbienmeetp.1980.1.192570openalex-snapshot
Only if ‘Acrobatic Logic’ is Non-Boolean
inferred← citeshttps://doi.org/10.1093/jigpal/jzaf010openalex-snapshot
Decidability of quantum modal logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzag052openalex-snapshot
Strict implication in quantum modal logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzv051openalex-snapshot
Modal and temporal extensions of non-distributive propositional logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzw057openalex-snapshot
Order-dual relational semantics for non-distributive propositional logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzy079openalex-snapshot
Game-theoretic semantics for non-distributive logics
inferred← citeshttps://doi.org/10.1093/logcom/exac105openalex-snapshot
Modal structures in groups and vector spaces
showing the first 200 of 258 · page through all 258
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.