科研之友
微信
新浪微博
Facebook
分享链接
摘要
This work presents some results about the categorial relation between logics and their associated categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra. The logics are the objects in our categories of logics; the morphisms are certain signature morphisms that are translations between logics. Morphisms between algebraizable logics are translations that preserve algebraizing pairs: they can be completely encoded by certain functors defined on the quasivarieties canonically associated to the algebraizable logics. This kind of results will be useful in the development of a categorial approach to the representation theory of general logics.
- 出版日期2017-8
