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

@@ Property / Mathematics Subject Classification ID @@
+G27
@@ Property / Mathematics Subject Classification ID: 03G27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C30
@@ Property / Mathematics Subject Classification ID: 18C30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6228672
@@ Property / zbMATH DE Number: 6228672 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deduction
@@ Property / zbMATH Keywords: deduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graph transformation
@@ Property / zbMATH Keywords: graph transformation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+categories in logic
@@ Property / zbMATH Keywords: categories in logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-013-0082-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1967353257
@@ Property / OpenAlex ID: W1967353257 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:382412