Decidability of Logical Theories and Their Combination / João Rasga, Cristina Sernadas

• Autore: Rasga, João
• Pubblicazione: Cham, : Birkhäuser, : Springer, 2020
• Titolo uniforme: Decidability of Logical Theories and Their Combination
• Descrizione fisica: xiii, 178 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]; 03B25 - Decidability of theories and sets of sentences [MSC 2020]
• Soggetto non controllato: Combination of first-order logical theories; Craig interpolation; Decidability of first-order logical theories; First-order logical theories; Gentzen Calculus; Gentzen calculus for first-order logic; Quantifier elimination; Quantifier elimination first-order logic
• Altri autori: Sernadas, Cristina
• Titolo autorizzato: Decidability of Logical Theories and Their Combination
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00248973
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-56554-1
• Serie: Studies in Universal Logic Basel [etc.] . -Birkhäuser , 2008-