Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Logical rules as fractions and logics as sketches

Dominique Duval 1
Abstract : In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01829617
Contributor : Dominique Duval <>
Submitted on : Wednesday, July 4, 2018 - 11:07:39 AM
Last modification on : Tuesday, May 11, 2021 - 11:37:30 AM
Long-term archiving on: : Monday, October 1, 2018 - 11:08:12 AM

Files

unilog18-paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01829617, version 1
  • ARXIV : 1807.01620

Collections

Citation

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

Share

Metrics

Record views

163

Files downloads

161