Skip to main content
SpringerLink
Log in

Logical Rules as Fractions and Logics as Sketches

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Duval, D.: Diagrammatic specifications. Math. Struct. Comput. Sci. 13, 857–890 (2003)

    Article  MathSciNet  Google Scholar 

  2. Duval, D.: Diagrammatic inference (2007). arXiv:0710.1208

  3. Domínguez, C., Duval, D.: Diagrammatic logic applied to a parameterization process. Math. Struct. Comput. Sci. 20, 639–654 (2010)

    Article  Google Scholar 

  4. Domínguez, C., Duval, D.: A parameterization process: from a functorial point of view. Int. J. Found. Comput. Sci. 23, 225–242 (2012)

    Article  MathSciNet  Google Scholar 

  5. Tomasik, J., Weyman, J.: Category localization semantics for specification refinements. Ann. Math. Artif. Intell. 49, 253–263 (2007)

    Article  MathSciNet  Google Scholar 

  6. Dumas, J.-G., Duval, D., Reynaud, J.-C.: Cartesian effect categories are Freyd-categories. J. Symb. Comput. 46, 272–293 (2011)

    Article  MathSciNet  Google Scholar 

  7. Dumas, J.-G., Duval, D., Fousse, L., Reynaud, J.-C.: A duality between exceptions and states. Math. Struct. Comput. Sci. 22, 719–722 (2012)

    Article  MathSciNet  Google Scholar 

  8. Dumas, J.-G., Duval, D., Ekici, B., Pous, D.: Formal verification in Coq of program properties involving the global state effect. In: JFLA (2014)

  9. Dumas, J.-G., Duval, D., Ekici, B., Reynaud, J.-C.: Certified proofs in programs involving exceptions. In: CICM 2014. CEUR Workshop Proceedings 1186 (2014)

  10. Gabriel, P., Zisman, M.: Calculus of Fractions and Homotopy Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35. Springer, Berlin (1967)

    Google Scholar 

  11. Borceux, F.: Handbook of Categorical Algebra (I). Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1994)

    Book  Google Scholar 

  12. Ehresmann, C.: Esquisses et types de structures algébriques. Bui. Inst. Polit. Iasi. XIV(1–2), 1–14 (1968)

    MATH  Google Scholar 

  13. Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall International, Upper Saddle River, NJ (1995)

    MATH  Google Scholar 

  14. Gabriel, P., Ulmer, F.: Lokal Präsentierbare Kategorien. Lecture Notes in Mathematics, vol. 221. Springer, Berlin (1971)

    Book  Google Scholar 

  15. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series, vol. 189. Cambridge University Press, Cambridge (1994)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LJK, Univ. Grenoble Alpes, 700 avenue centrale, 38000, Grenoble, France

    Dominique Duval

Authors
  1. Dominique Duval
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dominique Duval.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Duval, D. Logical Rules as Fractions and Logics as Sketches. Log. Univers. 14, 395–405 (2020). https://doi.org/10.1007/s11787-020-00259-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-020-00259-w

Keywords

Mathematics Subject Classification

Search

Navigation