Logical rules as fractions and logics as sketches

Pré-Publication, Document De Travail Année : 2018

(1)

Dominique Duval

Calculs Algébriques et Systèmes Dynamiques

In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.

Logique en informatique [cs.LO] Catégories et ensembles [math.CT]

Fichier principal

unilog18-paper.pdf (292.6 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-01829617

Soumis le : mercredi 4 juillet 2018-11:07:39

Dernière modification le : vendredi 26 avril 2024-13:52:28

Archivage à long terme le : lundi 1 octobre 2018-11:08:12

hal-01829617 , version 1 (04-07-2018)

Dominique Duval. Logical rules as fractions and logics as sketches. 2018. ⟨hal-01829617⟩

UGA CNRS INRIA INSMI LJK LJK_MAD LJK_MAD_CASYS

84 Consultations

206 Téléchargements