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

Download:

Current browse context:

math.LO

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 > Logic

Title: Connecting abstract logics and adjunctions in the theory of ($π$-)institutions: some theoretical remarks and applications

Abstract: In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $\pi$-institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the $2$-categorical data involved in the construction of categories of institution-like structures. More precisely, we remark that the process used for passing from rooms to institutions (\cite{Diac2}) can be extended, due to its $2$-functoriality, to more general room-like and institution-like structures in such a way that the aforementioned adjunctions are all seen to arise from simpler adjunctions at the room-like level. Secondly, and mostly independently, we provide some applications of such adjunctions to abstract logics, mainly to the setting of propositional logics and filter pairs (\cite{AMP1}); we also generalize the process of skolemization, a classical device from predicate logic, to the institutional setting.
Comments: 33 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
Cite as: arXiv:2002.00298 [math.LO]
  (or arXiv:2002.00298v2 [math.LO] for this version)

Submission history

From: Hugo Luiz Mariano [view email]
[v1] Sun, 2 Feb 2020 01:15:48 GMT (35kb)
[v2] Wed, 30 Dec 2020 04:50:57 GMT (49kb)

Link back to: arXiv, form interface, contact.