Logic families
Logic
2026-03-18 v2
Abstract
A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.
Keywords
Cite
@article{arxiv.2311.00759,
title = {Logic families},
author = {H. Andréka and Z. Gyenis and I. Németi and I. Sain},
journal= {arXiv preprint arXiv:2311.00759},
year = {2026}
}