Buchumschlag

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Díaz-Caro, Alejandro
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

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

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Expectation-based Analysis of Higher-Order Quantum Programs
von: Avanzini, Martin, et al.
Veröffentlicht: (2025)

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

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2024)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
von: De Mol, Liesbeth, et al.
Veröffentlicht: (2025)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

A new introduction rule for disjunction
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

A linear linear lambda-calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
von: de Medeiros, Markus, et al.
Veröffentlicht: (2026)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
von: Li, James, et al.
Veröffentlicht: (2024)

Logic Programming with Multiplicative Structures
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
von: Antonelli, Melissa, et al.
Veröffentlicht: (2024)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
von: Kojima, Ryota, et al.
Veröffentlicht: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
von: Zhang, Yuanrui
Veröffentlicht: (2024)

Non-Termination of Logic Programs Using Patterns
von: Payet, Etienne
Veröffentlicht: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
von: Brieger, Marvin, et al.
Veröffentlicht: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
von: Heuer, Jan, et al.
Veröffentlicht: (2024)

Towards a Proof System for Probabilistic Dynamic Logic
von: Johnsen, Einar Broch, et al.
Veröffentlicht: (2024)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Proceedings 41st International Conference on Logic Programming
von: Gebser, Martin, et al.
Veröffentlicht: (2025)

Reasoning about Medical Triage Optimization with Logic Programming
von: Patil, Jaikrishna Manojkumar, et al.
Veröffentlicht: (2025)

On the Computational Content of Moduli of Regularity and their Logical Strength
von: Kohlenbach, Ulrich
Veröffentlicht: (2026)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)