A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES

DOI10.1017/jsl.2018.47zbMath1410.18002arXiv1908.00534OpenAlexW2897099281WikidataQ129079151 ScholiaQ129079151MaRDI QIDQ4692073

Tommaso Moraschini

Publication date: 26 October 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

locally presentable categorycategory theoryuniversal algebracategory equivalenceadjoint functormatrix powergeneralized varietiescontextual translation

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Abstract algebraic logic (03G27) Foundations, relations to logic and deductive systems (18A15)

Related Items

Abstract algebraic logic. An introductory chapter, On prelinear Hilbert algebras with successor, Countably many weakenings of Belnap-Dunn logic, Variations of the free implicative semilattice extension of a Hilbert algebra, On prevarieties of logic, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

Cites Work

• How many variables does a quasivariety need?
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• A lattice of normal modal logics
• Tools and techniques in modal logic
• Algebraic point lattices of quasivarieties
• Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular
• Equivalence of consequence operations
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Algebraizable logics
• Morita equivalence of algebraic theories
• Category Theory
• Algebra valued functors in general and tensor products in particular
• Modal Logics Between S 4 and S 5
• Lattices With Involution
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item