Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics

DOI10.1215/00294527-2008-007zbMath1155.03048OpenAlexW2046431431MaRDI QIDQ929639

J. Soliveres Tur, Juan Climent Vidal

Publication date: 18 June 2008

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-007

zbMATH Keywords

\(\ell\)-congruenceadjoint cylinderLindenbaum-Tarski functorsschematic interpretation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

This page was built for publication: Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics