License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05021.11
URN: urn:nbn:de:0030-drops-2931
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/293/
Go to the corresponding Portal

Duval, Dominique ; Reynaud, Jean-Claude

Diagrammatic logic and exceptions:an introduction

pdf-format:
05021.DuvalDominique.Paper.293.pdf (0.3 MB)

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:DagSemProc.05021.11,
  author =	{Duval, Dominique and Reynaud, Jean-Claude},
  title =	{{Diagrammatic logic and exceptions:an introduction}},
  booktitle =	{Mathematics, Algorithms, Proofs},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5021},
  editor =	{Thierry Coquand and Henri Lombardi and Marie-Fran\c{c}oise Roy},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/293},
  URN =		{urn:nbn:de:0030-drops-2931},
  doi =		{10.4230/DagSemProc.05021.11},
  annote =	{Keywords: Specifications, Semantics, Exceptions, Sketches, Diagrammatic Logic, Extensive Categories, Monads.}
}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI