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