Copertina

Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhou, Heng, Wang, Yongjun, Wang, Baoshan, Yan, Jian, Wang, Xiaoyang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Quantum Physics Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Graph structure of quantum mechanics
di: Liu, Songyi, et al.
Pubblicazione: (2024)

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

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

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

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

Atom graph, partial Boolean algebra and quantum contextuality
di: Liu, Songyi, et al.
Pubblicazione: (2024)

Temporal Model On Quantum Logic
di: D'Agostino, Francesco
Pubblicazione: (2025)

Hardy's Paradox for Yu-Oh Set Constructed by Logically Contextual Quantum States
di: He, Chang, et al.
Pubblicazione: (2026)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

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

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2024)

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

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

Polytopological Semantics for Intuitionistic Modal Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

On an Inferential Semantics for Intuitionistic Sentential Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2025)

Uniform Local Tabularity in Intuitionistic Logic
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2026)

Algebraic Structure of Quantum Controlled States and Operators
di: Agnew, Edwin, et al.
Pubblicazione: (2026)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

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

Skolemisation for Intuitionistic Linear Logic
di: Bruni, Alessandro, et al.
Pubblicazione: (2024)

Intuitionistic Propositional Logic in Lean
di: Trufaş, Dafina
Pubblicazione: (2024)

Stable Canonical Rules for Intuitionistic Modal Logics
di: Liao, Cheng
Pubblicazione: (2026)

The Equivalence between Hardy-type paradox and Logical Contextuality
di: Liu, Songyi, et al.
Pubblicazione: (2026)

Collapsing Constructive and Intuitionistic Modal Logics
di: Pacheco, Leonardo
Pubblicazione: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
di: Yamakami, Tomoyuki
Pubblicazione: (2025)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
di: Barthe, Gilles, et al.
Pubblicazione: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Local Intuitionistic Modal Logics and Their Calculi
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
di: Ying, Mingsheng
Pubblicazione: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

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

Symbolic Specification and Reasoning for Quantum Data and Operations
di: Ying, Mingsheng
Pubblicazione: (2025)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
di: Mojtahedi, Mojtaba, et al.
Pubblicazione: (2024)

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
di: Mojtahedi, Mojtaba
Pubblicazione: (2022)

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

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)