Deduction as reduction, from a categorical point of view (Q382412): Difference between revisions

@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic logic applied to a parameterisation process
+Normal rank
@@ Property / cites work @@
+Cartesian effect categories are Freyd-categories
@@ Property / cites work: Cartesian effect categories are Freyd-categories / rank @@
+Normal rank
@@ Property / cites work @@
+A duality between exceptions and states
@@ Property / cites work: A duality between exceptions and states / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic specifications
@@ Property / cites work: Diagrammatic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformation with Focus on Incident Edges
@@ Property / cites work: Graph Transformation with Focus on Incident Edges / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiable morphisms, partial products and pullback complements
+Normal rank
@@ Property / cites work @@
+Being Van Kampen is a universal property
@@ Property / cites work: Being Van Kampen is a universal property / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Rewriting in Span-Categories
@@ Property / cites work: Graph Rewriting in Span-Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Refined Graph Rewriting in Span-Categories
@@ Property / cites work: Refined Graph Rewriting in Span-Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3520841
@@ Property / cites work: Q3520841 / rank @@
+Normal rank