Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and pi-institutions

0506928 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Galatos, N. - Gil-Férez, José
Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and pi-institutions.
Journal of Pure and Applied Algebra. Roč. 221, č. 1 (2017), s. 1-24. ISSN 0022-4049. E-ISSN 1873-1376
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * isomorphism of logics * pi-institutions * algebra
Obor OECD: Pure mathematics
Impakt faktor: 0.720, rok: 2017
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.jpaa.2016.05.012

We solve the isomorphism problem in the context of abstract algebraic logic and of π-institutions, namely the problem of when the notions of syntactic and semantic equivalence among logics coincide. The problem is solved in the general setting of categories of modules over quantaloids. We introduce closure operators on modules over quantaloids and their associated morphisms. We show that, up to isomorphism, epis are morphisms associated with closure operators. The notions of (semi-)interpretability and (semi-)representability are introduced and studied. We introduce cyclic modules, and provide a characterization for cyclic projective modules as those having a g-variable. Finally, we explain how every π-institution induces a module over a quantaloid, and thus the theory of modules over quantaloids can be considered as an abstraction of the theory of π-institutions.
Trvalý link: http://hdl.handle.net/11104/0298058