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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.
Roadmap for preferential logics.Dov M. Gabbay & Karl Schlechta - 2009 - Journal of Applied Non-Classical Logics 19 (1):43-95.
Structural Rules for Multi-valued Logics.Nissim Francez & Michael Kaminski - 2019 - Logica Universalis 13 (1):65-75.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Logical equations and admissible rules of inference with parameters in modal provability logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
Independent bases for rules admissible in pretabular logics.V. Rybakov, V. Kiyatkin & M. Terziler - 1999 - Logic Journal of the IGPL 7 (2):253-266.
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.
Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - 2019 - Studia Logica 107 (1):85-107.
Some admissible rules in nonnormal modal systems.Timothy Williamson - 1993 - Notre Dame Journal of Formal Logic 34 (3):378-400.
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik M. Lauridsen - 2019 - Studia Logica 107 (2):247-282.
Completness of relevant modal logics with disjunctive rules.Takahiro Seki - 2009 - Reports on Mathematical Logic:3-18.
Proof-theoretic validity.Stephen Read - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, UK: Oxford University Press. pp. 136-158.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Logical Pluralism and Logical Form.Nicole Wyatt & Gillman Payette - 2018 - Logique Et Analyse 61 (241):25-42.

Analytics

Added to PP
2020-08-02

Downloads
20 (#749,846)

6 months
5 (#638,139)

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