Advertisement

Institution-independent Model Theory

  • Răzvan Diaconescu

Part of the Studies in Universal Logic book series (SUL)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Pages 1-6
  3. Pages 7-21
  4. Pages 23-47
  5. Pages 49-89
  6. Pages 91-119
  7. Pages 121-140
  8. Pages 141-161
  9. Pages 189-221
  10. Pages 223-233
  11. Pages 235-251
  12. Pages 275-316
  13. Pages 317-335
  14. Pages 337-350
  15. Back Matter
    Pages 351-376

About this book

Introduction

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 mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.

Keywords

Computer Institution theory Model theory computer science fundamental theorem logic programming proof ultraproduct

Authors and affiliations

  • Răzvan Diaconescu
    • 1
  1. 1.Institute of Mathematics „Simion Stoilow“BucureştiRomania

Bibliographic information

Industry Sectors
Telecommunications
Oil, Gas & Geosciences