License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-2931
URL: http://drops.dagstuhl.de/opus/volltexte/2006/293/

Duval, Dominique ; Reynaud, Jean-Claude

Diagrammatic logic and exceptions:an introduction

pdf-format:
Dokument 1.pdf (296 KB)


Abstract

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

BibTeX - Entry

@InProceedings{duval_et_al:DSP:2006:293,
  author =	{Dominique Duval and Jean-Claude Reynaud},
  title =	{Diagrammatic logic and exceptions:an introduction},
  booktitle =	{Mathematics, Algorithms, Proofs},
  year =	{2006},
  editor =	{Thierry Coquand and Henri Lombardi and Marie-Fran{\c{c}}oise Roy},
  number =	{05021},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/293},
  annote =	{Keywords: Specifications, Semantics, Exceptions, Sketches, Diagrammatic Logic, Extensive Categories, Monads.}
}

Keywords: Specifications, Semantics, Exceptions, Sketches, Diagrammatic Logic, Extensive Categories, Monads.
Seminar: 05021 - Mathematics, Algorithms, Proofs
Issue date: 2006
Date of publication: 16.01.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI