1 citations · 1 across the 6 of their papers we have counts for
8 papers
EGGs are adhesive!
Roberto Biondo, Davide Castelnovo, Fabio Gadducci
The use of rewriting-based visual formalisms is on the rise. In the formal methods community, this is due also to the introduction of adhesive categories, where most properties of…
Fibrations of algebras
Danel Ahman, Greta Coraglia, Davide Castelnovo +3
We study fibrations arising from indexed categories of the following form: fix two categories and a functor $F : \mathcal{A} \times \mathcal{X} \longright…
Validity of contextual formulas (extended version)
Javier Esparza, Rubén Rubio
Many well-known logical identities are naturally written as equivalences between contextual formulas. A simple example is the Boole-Shannon expansion $c[p] \equiv (p \wedge c[\math…
Left-Linear Rewriting in Adhesive Categories
Paolo Baldan, Davide Castelnovo, Andrea Corradini +1
When can two sequential steps performed by a computing device be considered (causally) independent? This is a relevant question for concurrent and distributed systems, since indepe…
On The Axioms Of -Adhesive Categories
Davide Castelnovo, Marino Miculan
Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a…
A new criterion for -adhesivity, with an application to hierarchical graphs
Davide Castelnovo, Fabio Gadducci, Marino Miculan
Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking t…
Fuzzy Algebraic Theories
Davide Castelnovo, Marino Miculan
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of ter…
Closure hyperdoctrines, with paths
Davide Castelnovo, Marino Miculan
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspec…