Duval, Dominique ;
Reynaud, JeanClaude
Diagrammatic logic and exceptions:an introduction
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 JeanClaude Reynaud},
title = {Diagrammatic logic and exceptions:an introduction},
booktitle = {Mathematics, Algorithms, Proofs},
year = {2006},
editor = {Thierry Coquand and Henri Lombardi and MarieFran{\c{c}}oise Roy},
number = {05021},
series = {Dagstuhl Seminar Proceedings},
ISSN = {18624405},
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.}
}
2006
Keywords: 

Specifications, Semantics, Exceptions, Sketches, Diagrammatic Logic, Extensive Categories, Monads. 
Seminar: 

05021  Mathematics, Algorithms, Proofs

Related Scholarly Article: 


Issue date: 

2006 
Date of publication: 

2006 