We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Syntax and Consequence Relations -- A Categorical Perspective

Authors: Lingyuan Ye
Abstract: In this paper, we use a categorical and functorial set up to model the syntax and inference of logics with algebraic signature, extending previous works on algebraisation of logics. The main feature of this work is that structurality, or invariance under substitution of variables, are modelled by functoriality, resulting in a much clearer framework for algebraic semantics and algebraisation. It also provides a very nice conceptual understanding of various existing results already established in the literatures, and derives several new results as well.
Comments: 32 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
Cite as: arXiv:2109.04291 [math.CT]
  (or arXiv:2109.04291v2 [math.CT] for this version)

Submission history

From: Lingyuan Ye [view email]
[v1] Wed, 8 Sep 2021 08:33:50 GMT (31kb)
[v2] Tue, 21 Sep 2021 13:15:04 GMT (34kb)

Link back to: arXiv, form interface, contact.