Inicio > > Ciencias de la computación > Institution-independent Model Theory
Institution-independent Model Theory

Institution-independent Model Theory

Razvan Diaconescu

133,43 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2008
Materia
Ciencias de la computación
ISBN:
9783764387075
133,43 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Kálamo Books
  • Librería Elías (Asturias)
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called ’institution theory’. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level. Consequently it is easily applicable to a rather large diverse collection of logics from the mathematical and computer science practice.

Artículos relacionados

Otros libros del autor

  • Institution-independent Model Theory
    Răzvan Diaconescu
    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. Especially in computer science, where the development of a huge number of specifica...
  • Logic and Computation
    Răzvan Diaconescu
    The present reprint contains five articles accepted and published in the Special Issue 'Logic and Computation 2023' of the MDPI 'Mathematics' journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the r...