Logic Families
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 occur 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.
Authors
- Istvàn Németi
- Zalán Gyenis (ORCID: https://orcid.org/0000-0003-2058-1255)
- Hajnal Andréka (ORCID: https://orcid.org/0000-0002-7327-4702)
- Ildikó Sain
Institutions
- Jagiellonian University (PL)
- HUN-REN Alfréd Rényi Institute of Mathematics (HU)
Publication Details
- Journal
- Studia Logica
- Published
- 2024-08-12
- DOI
- https://doi.org/10.1007/s11225-024-10125-1
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Narodowe Centrum Nauki
- Nemzeti Kutatási Fejlesztési és Innovációs Hivatal