Algebraizable logics and a functorial encoding of its morphisms

DOI10.1093/jigpal/jzx014zbMath1405.03104arXiv1410.8083OpenAlexW2963026401MaRDI QIDQ4644589

Hugo Luiz Mariano, Darllan Conceição Pinto

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.8083

zbMATH Keywords

categoriesalgebraizable logics

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Filter pairs and natural extensions of logics

This page was built for publication: Algebraizable logics and a functorial encoding of its morphisms