:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Battilotti, Giulia, Grotto, Rosapia Lauro
Format:	Preprint
Published:	2025
Subjects:	Physics and Society Logic Quantum Physics
Online Access:	https://arxiv.org/abs/2511.04708
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum set theory: quantum conditionals and order of observable
by: Ozawa, Masanao
Published: (2024)

Projection-algebras and quantum logic
by: Lehmann, Daniel
Published: (2024)

Graph structure of quantum mechanics
by: Liu, Songyi, et al.
Published: (2024)

Undecidability and incompleteness in quantum information theory and operator algebras
by: Goldbring, Isaac
Published: (2024)

Complete equational theories for classical and quantum Gaussian relations
by: Booth, Robert I., et al.
Published: (2024)

On orthoposets of numerical events in quantum logic
by: Dorninger, Dietmar, et al.
Published: (2026)

Trade-offs between classical and quantum space using spooky pebbling
by: Quist, Arend-Jan, et al.
Published: (2024)

On Contextuality as a Feature of Logic and Probability Theory
by: Ellingsen, Ask
Published: (2026)

Supermaps on generalised theories
by: Wilson, Matt, et al.
Published: (2026)

Linear Logic and Quantum Error Correcting Codes
by: Murfet, Daniel, et al.
Published: (2024)

Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators
by: Zhou, Heng, et al.
Published: (2024)

Four negations and the spectral presheaf
by: Engel, Benjamin, et al.
Published: (2026)

Adaptation of quantum models to economic growth theories
by: Spring-Ragain, Hugo
Published: (2025)

Combining contextuality and causality: a game semantics approach
by: Abramsky, Samson, et al.
Published: (2023)

High schoolers excel at Oxford quantum course using pictorial mathematics
by: Coecke, Bob, et al.
Published: (2025)

Closing Bell: Boxing black box simulations in the resource theory of contextuality
by: Barbosa, Rui Soares, et al.
Published: (2021)

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
by: Hu, Siwei, et al.
Published: (2025)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

A programming language combining quantum and classical control
by: Dave, Kinnari, et al.
Published: (2025)

Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic
by: Werbow, Jesse
Published: (2024)

Refinement orders for quantum programs
by: Feng, Yuan, et al.
Published: (2025)

Dirac - von Neumann axioms in the setting of Continuous Model Theory
by: Zilber, Boris
Published: (2025)

The universal logic of repeated experiments
by: Grillo, Sergio Daniel
Published: (2025)

An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
by: Haider, Salman, et al.
Published: (2020)

Quantum Petri Nets with Event Structures semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

The decohered ZX-calculus
by: Carette, Titouan, et al.
Published: (2025)

Potential for Polynomial Solution for NP-Complete Problems using Quantum Computation
by: Badihian, Neema Rustin
Published: (2025)

Quantum Petri Nets with Event Structure semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Bayesian Inference in Quantum Programs
by: Gehnen, Christina, et al.
Published: (2025)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
by: Barthe, Gilles, et al.
Published: (2025)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits
by: Li, Sarah Meng, et al.
Published: (2025)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
by: Lindenhovius, Bert, et al.
Published: (2025)

Temporal Model On Quantum Logic
by: D'Agostino, Francesco
Published: (2025)

Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow
by: Backens, Miriam, et al.
Published: (2025)

Finding Photonics Circuits via $δ$-weakening SMT
by: Lewis, Marco, et al.
Published: (2025)

Enriched Categories for Parameterized Circuit Semantics
by: Wesley, Scott
Published: (2025)

Model Checking Matrix Product States against Linear Chain Logic
by: Xu, Ming, et al.
Published: (2026)