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 : jeudi 4 avril 2024-18:24:07

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 LJK LJK_MAD LJK_MAD_CASYS

73 Consultations

185 Téléchargements