Logical Rules as Fractions and Logics as Sketches

Logica Universalis 14 (3):395-405 (2020)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s11787-020-00259-w

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the Transitivity of Logical Consequence without Assuming Monotonicity.Lin Chen & Xuefeng Wen - 2024 - Logica Universalis 18 (3):285-300.
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.
Structural Rules for Multi-valued Logics.Nissim Francez & Michael Kaminski - 2019 - Logica Universalis 13 (1):65-75.
Implicational Tonoid Logics: Algebraic and Relational Semantics.Eunsuk Yang & J. Michael Dunn - 2021 - Logica Universalis 15 (4):435-456.
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms.Petra Murinová, Michal Burda & Viktor Pavliska - 2024 - Logica Universalis 18 (1):125-156.
Rooted Hypersequent Calculus for Modal Logic S5.Hamzeh Mohammadi & Mojtaba Aghaei - 2023 - Logica Universalis 17 (3):269-295.
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.
Pavel Florensky’s Theory of Religious Antinomies.Paweł Rojek - 2019 - Logica Universalis 13 (4):515-540.
Admissibility of logical inference rules.Vladimir Vladimir Rybakov - 1997 - New York: Elsevier.
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.

Analytics

Added to PP
2020-08-02

Downloads
30 (#740,724)

6 months
6 (#825,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references