Awesome Quantum Computing

Papers Topics Trending Leaderboards Authors Datasets Learn Ask AI Map Tools Packs News Videos

BrowsePapersThe full index, filterable and sortable.TopicsThe same papers grouped by subject tag.TrendingWhat moved this week, and by how much.AuthorsWho publishes here, and who they publish with.MapThe collection laid out by embedding similarity.

CompareLeaderboardsBenchmark tables, with the paper behind each number.DatasetsThe datasets these papers train and evaluate on.ToolsCode and libraries released alongside the papers.

ReadLearnOrdered routes from background reading to current work.Ask AIAsk a question and get answers cited to these papers.VideosThe most-watched talks and lectures in this field.PacksShort curated sets built around one question.

FollowNewsPress and coverage tied back to the papers.BlogsAuthor and lab write-ups of their own work.NewsletterEmail digest of what changed, on a schedule.Research RadarPaste an abstract, get matches across every collection.

YoursSavedPapers you bookmarked in this browser.

← all topics overview

Logic

loading…

Stay Updated

E-Mail Digest Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Awesome Logic — curated papers, datasets & benchmarks · Awesome Quantum Computing

← all topics overview

Awesome Logic

Logic is one of the most active areas in Awesome Quantum Computing — 38 papers in this collection. A strong starting point is "On Contextuality as a Feature of Logic and Probability Theory".

Key papers

38 papers · trending (default)numbers = heat

On Contextuality as a Feature of Logic and Probability Theory (2026)
Ask Ellingsen
1.72
On orthoposets of numerical events in quantum logic (2026)
Dietmar Dorninger and Helmut L\"anger
1.61
Tame Complexity of Effective Field Theories in the Quantum Gravity Landscape (2026)
Thomas W. Grimm et al.
1.61
Dirac - von Neumann axioms in the setting of Continuous Model Theory (2025)
Boris Zilber
1.50
Establishing a pre-logical setting in a quantum model of psycho-analytic theory (2025)
Giulia Battilotti and Rosapia Lauro Grotto
1.50
Axioms of Quantum Mechanics in light of Continuous Model Theory (2025)
Boris Zilber
1.22
Temporal Model On Quantum Logic (2025)
Francesco D'Agostino
1.00
A Schematic Definition of Quantum Polynomial Time Computability (2018)
Tomoyuki Yamakami
—
A refinement of quantum mechanics by algorithmic randomness (2018)
Kohtaro Tadaki
—
The assumption of the Hilbert lattice in the case of a two-dimensional system (2018)
Arkady Bolotin
—
Curious properties of free hypergraph C*-algebras (2018)
Tobias Fritz
—
A Bridge Between Q-Worlds (2018)
Andreas D\"oring et al.
—
On Boolean posets of numerical events (2020)
Dietmar Dorninger and Helmut L\"anger
—
Quantum Set Theory: Transfer Principle and De Morgan's Laws (2020)
Masanao Ozawa
—
Identical particles in quantum mechanics: favouring the Received View (2020)
D\'ecio Krause and Jonas R. B. Arenhart
—
Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic (2020)
Patrick Fraser
—
Quantum epistemology and constructivism (2020)
Patrick Fraser et al.
—
The logic of contextuality (2020)
Samson Abramsky et al.
—
Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws (2020)
Masanao Ozawa
—
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti (2021)
Masanao Ozawa
—
Everettian mechanics with hyperfinitely many worlds (2021)
Jeffrey Barrett and Isaac Goldbring
—
Logical aspects of quantum structures (2021)
John Harding and Zhenghan Wang
—
A natural deduction system for orthomodular logic (2021)
Andre Kornell
—
Resource dependent undecidability: computability landscape of distinct Turing theories (2021)
Airin Antony
—
Follow the Math!: The mathematics of quantum mechanics as the mathematics of set partitions linearized to (Hilbert) vector spaces (2022)
David Ellerman
—
On Tsirelson pairs of C*-algebras (2022)
Isaac Goldbring and Bradd Hart
—
A substructural logic for quantum measurements (2022)
Daniel Lehmann
—
Logic meets Wigner's Friend (and their Friends) (2023)
Alexandru Baltag and Sonja Smets
—
Complexity in Tame Quantum Theories (2023)
Thomas W. Grimm et al.
—
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory (2023)
Masanao Ozawa (Chubu University et al.
—
Projection-algebras and quantum logic (2024)
Daniel Lehmann
—
Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators (2024)
Heng Zhou et al.
—
Linear Logic and Quantum Error Correcting Codes (2024)
Daniel Murfet et al.
—
Undecidability and incompleteness in quantum information theory and operator algebras (2024)
Isaac Goldbring
—
Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic (2024)
Jesse Werbow
—
Quantum set theory: quantum conditionals and order of observable (2024)
Masanao Ozawa
—
Graph structure of quantum mechanics (2024)
Songyi Liu et al.
—
Von Neumann Entropy and Quantum Algorithmic Randomness (2024)
Tejas Bhojraj
—