Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Towards a good notion of categories of logics
(Submitted on 14 Apr 2014 (v1), last revised 27 Mar 2016 (this version, v2))
Abstract: We consider (finitary, propositional) logics through the original use of Category Theory: the study of the "sociology of mathematical objects", aligning us with a recent, and growing, trend of study logics through its relations with other logics (e.g. process of combinations of logics as bring [Gab] and possible translation semantics [Car]). So will be objects of study the classes of logics, i.e. categories whose objects are logical systems (i.e., a signature with a Tarskian consequence relation) and the morphisms are related to (some concept of) translations between these systems. The present work provides the first steps of a project of considering categories of logical systems satisfying simultaneously certain natural requirements: it seems that in the literature ([AFLM1], [AFLM2], [AFLM3], [BC], [BCC1], [BCC2], [CG], [FC]) this is achieved only partially.
Submission history
From: Hugo Luiz Mariano [view email][v1] Mon, 14 Apr 2014 23:43:13 GMT (30kb)
[v2] Sun, 27 Mar 2016 12:58:03 GMT (30kb)
Link back to: arXiv, form interface, contact.