Logical rules as fractions and logics as sketches - CASYS Access content directly
Preprints, Working Papers, ... Year : 2018

Logical rules as fractions and logics as sketches

Abstract

In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
Fichier principal
Vignette du fichier
unilog18-paper.pdf (292.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More