Here are a few relevant journals:
- Annals of Pure and Applied Logic
- Applied Categorical Structures
- Archive for Mathematical Logic
- Journal of Mathematical Logic
- Journal of Pure and Applied Algebra
- Journal of Symbolic Logic
- Logical Methods in Computer Science
- Mathematical Logic Quarterly
- Mathematical Structures in Computer Science
- Notre Dame Journal of Formal Logic
- Studia Logica
- Theory and Application of Categories
- Theoretical Computer Science