图解推理
Diagrammatic Inference
摘要：
图解逻辑于2002年引入，重点是规范和模型的概念。在本文中，我们提高了描述的推理过程中，这被看作是一个米田函子的双范畴的分数。一个图解逻辑是从一个态射的极限草图（称为传播），它产生了一个附加，这反过来又决定了一个双范畴的分数。传播子、附加子和双范畴分别为逻辑提供句法、模型和推理过程。然后将图解逻辑及其态射应用于计算机语言中副作用的语义。
英文摘要：
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which is seen as a Yoneda functor on a bicategory of fractions. A diagrammatic logic is defined from a morphism of limit sketches (called a propagator) which gives rise to an adjunction, which in turn determines a bicategory of fractions. The propagator, the adjunction and the bicategory provide respectively the syntax, the models and the inference process for the logic. Then diagrammatic logics and their morphisms are applied to the semantics of side effects in computer languages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
