Deduction as reduction, from a categorical point of view
From MaRDI portal
Publication:382412
DOI10.1007/s11787-013-0082-0zbMath1286.03186OpenAlexW1967353257MaRDI QIDQ382412
Publication date: 19 November 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-013-0082-0
Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42) Abstract algebraic logic (03G27) Sketches and generalizations (18C30)
Cites Work
- Unnamed Item
- Cartesian effect categories are Freyd-categories
- Exponentiable morphisms, partial products and pullback complements
- A duality between exceptions and states
- Refined Graph Rewriting in Span-Categories
- Graph Transformation with Focus on Incident Edges
- Being Van Kampen is a universal property
- Sesqui-Pushout Rewriting
- Diagrammatic logic applied to a parameterisation process
- Adjointness in Foundations
- Diagrammatic specifications
- Graph Rewriting in Span-Categories
- Deductive systems and categories