2023/11/01 by Hajnal Andréka, Zalán Gyenis, Andréka, H. +5
Computer Science · #03B10 #03C05 #03C95 #03G15 #03G27 #03G30 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2311.00759
openalex publication_date 2023/11/01 · openalex created_date 2023/11/04 · openalex updated_date 2026/07/28
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.