Logical rules as fractions and logics as sketches

DOI10.1007/s11787-020-00259-wzbMath1485.03256arXiv1807.01620OpenAlexW3046800223MaRDI QIDQ2198320

Dominique Duval

Publication date: 10 September 2020

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.01620

zbMATH Keywords

logical rulessketchescategorical fractions

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Localization of categories, calculus of fractions (18E35) Sketches and generalizations (18C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cartesian effect categories are Freyd-categories
• Category localization semantics for specification refinements
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW
• A duality between exceptions and states
• Diagrammatic logic applied to a parameterisation process
• Diagrammatic specifications

This page was built for publication: Logical rules as fractions and logics as sketches