Deduction as reduction, from a categorical point of view

DOI10.1007/s11787-013-0082-0zbMath1286.03186OpenAlexW1967353257MaRDI QIDQ382412

Dominique Duval

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

zbMATH Keywords

deductiongraph transformationcategories in logic

Mathematics Subject Classification ID

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