Institution-independent Model Theory

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Esp...

Description complète

Détails bibliographiques

Auteur principal:	Diaconescu, Răzvan (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	Électronique eBook
Langue:	anglais
Publié:	Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2025.
Édition:	2nd ed. 2025.
Collection:	Studies in Universal Logic,
Sujets:	Mathematical logic. Machine theory. Logic. Model theory. Mathematical Logic and Foundations. Formal Languages and Automata Theory. Model Theory.
Accès en ligne:	https://doi.org/10.1007/978-3-031-68854-6
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!