Logic Families

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 log...

Full description

Saved in:
Bibliographic Details
Published in:Studia logica 2024-08
Main Authors: Andréka, Hajnal, Gyenis, Zalán, Németi, István, Sain, Ildikó
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-024-10125-1