Cover Image

Disconnection Rules are Complete for Chemical Reactions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gale, Ella, Lobski, Leo, Zanasi, Fabio
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory 05C92 F.4.1; J.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Layered Monoidal Theories
by: Lobski, Leo
Published: (2025)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
by: Lobski, Leo, et al.
Published: (2026)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

EGGs are adhesive!
by: Biondo, Roberto, et al.
Published: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
by: Stein, Dario
Published: (2025)

Graphical Quadratic Algebra
by: Stein, Dario, et al.
Published: (2024)

Complete Diagrammatic Axiomatisations of Relative Entropy
by: Sarkis, Ralph, et al.
Published: (2026)

Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
by: Praveen, M., et al.
Published: (2024)

Lindenmayer graph languages, first-order theories and expanders
by: Knapik, Teodor
Published: (2024)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
by: Lorenzin, Antonio, et al.
Published: (2025)

Graded String Diagrams for Imprecise Probability and Causal Intervention
by: Sarkis, Ralph, et al.
Published: (2025)

A taxonomy of categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Constant time testability of first-order logic with modulo counting on finitary graphs
by: Adler, Isolde, et al.
Published: (2026)

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
by: Waldmann, Uwe
Published: (2024)

A Complete Finitary Refinement Type System for Scott-Open Properties
by: Riba, Colin, et al.
Published: (2026)

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022)

Semantics out of context: nominal absolute denotations for first-order logic and computation
by: Gabbay, Murdoch J.
Published: (2013)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants
by: Segura, Juan J.
Published: (2026)

A Resolution-Based Interactive Proof System for UNSAT
by: Czerner, Philipp, et al.
Published: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
by: Lorenzin, Antonio, et al.
Published: (2025)

String Diagrams for $λ$-calculi and Functional Computation
by: Ghica, Dan, et al.
Published: (2023)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)

A computational method for left-adjointness
by: Forest, Simon
Published: (2024)

Learning Closed Signal Flow Graphs
by: Piotrovskaya, Ekaterina, et al.
Published: (2024)