Copertina

Proof Identity and Categorical Models of BV

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Acclavio, Matteo, Straßburger, Lutz, Zamdzhiev, Vladimir
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Intuitionistic BV (Extended version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2025)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
di: Acclavio, Matteo
Pubblicazione: (2023)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
di: Nguyên, Lê Thành Dũng, et al.
Pubblicazione: (2022)

Proofs as Execution Trees for the π-Calculus
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Proof Nets for PiL (Full Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

Logic Programming with Multiplicative Structures
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

The Category of Operator Spaces and Complete Contractions
di: Lindenhovius, Bert, et al.
Pubblicazione: (2024)

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

On Propositional Dynamic Logic and Concurrency
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Non-wellfounded parsimonious proofs and non-uniform complexity
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
di: Acclavio, Matteo, et al.
Pubblicazione: (2023)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2025)

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

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
di: Dave, Kinnari, et al.
Pubblicazione: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
di: Barrett, Victoria, et al.
Pubblicazione: (2025)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
di: Carette, TItouan, et al.
Pubblicazione: (2022)

Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach
di: Li, Thea, et al.
Pubblicazione: (2026)

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

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

A Categorical Approach to DIBI Models
di: Gu, Tao, et al.
Pubblicazione: (2024)

The Proof Analysis Problem
di: Arteche, Noel, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Cyclic Proofs for iGL via Corecursion
di: Miranda, Borja Sierra
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
di: Iemhoff, Rosalie, et al.
Pubblicazione: (2023)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Categorical generalization of spectral decomposition
di: Nishizawa, Koki, et al.
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

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