2026-08-10T18:05:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:293 2024-03-06T11:06:08Z ddc:004 open_access

Diagrammatic logic and exceptions:an introduction Duval, Dominique Reynaud, Jean-Claude Specifications Semantics Exceptions Sketches Diagrammatic Logic Extensive Categories Monads. For dealing with computational effects in computer science, it may be helpful to use several logics: typically, a logic with implicit effects for the language, and a more classical logic for the user. Hence, the study of computational effects should take place in a framework where distinct logics can be related. In this paper, such a framework is presented: it is a category, called the category of propagators. Each propagator defines a kind of logic, called a diagrammatic logic, which is endowed with a deduction system and a sound notion of models. Morphisms of propagators provide the required relationships between diagrammatic logics. The category of propagators has been introduced by Duval and Lair in 2002, it is based on the notion of sketches, which is due to Ehresmann in the 1960's. Then, the paper outlines how Duval and Reynaud in 2004 used the category of propagators for dealing with the computational effect of raising and handling exceptions. Another application of diagrammatic logic is presented by Dominguez et al. in the same conference Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dominique Duval and Jean-Claude Reynaud 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5021, Mathematics, Algorithms, Proofs (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05021.11 urn:nbn:de:0030-drops-2931 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05021.11 eng https://creativecommons.org/licenses/by/4.0/legalcode