Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Connecting Abstract Logics and adjunctions between Institutions and $π$-Institutions
(Submitted on 2 Feb 2020 (this version), latest version 30 Dec 2020 (v2))
Abstract: In this work, a natural sequel of \cite{MaPi1}, we establish new functorial connections and adjunctions involving the notions of {\em Institution} and $\pi$-{\em Institution} and define a new concept of generalized {\em Room} (\cite{Diac}). We provide also some applications of these results to abstract logics, mainly to the setting of {\em propositional logics} and {\em filter pairs} (\cite{AMP1}). Finally, we introduce and explore a device from predicate logic device in the setting of institution theory: skolemization.
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.