Jump to content

Institutional model theory

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Tillmo (talk | contribs) at 05:30, 16 November 2006. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Institutional model theory generalizes a large portion of first-order model theory to an arbritary logical system. The notion of "logical system" here is formalized as an institution. Institutions constitute a model-oriented meta-theory on logical systems similar to how the theory of rings and modules constitute a meta-theory for classical linear algebra. Another analogy can be made with universal algebra versus groups, rings, modules etc. By abstracting away from the realities of the actual conventional logics, it can be noticed that institution theory comes in fact closer to the realities of non-conventional logics. Institutional model theory analyzes and generalizes classical model-theoretic notions and results, like

For each concept and theorem, the infrastructure and properties required are analyzed and formulated as conditions on institutions, thus providing a detailed insight on which properties of first-order logic they rely and how much they can be generalized to other logics.

References

  • Razvan Diaconescu: Jewels of Institution-Independent Model Theory. In: K. Futatsugi, J.-P- Jouannaud, J. Meseguer (eds.): Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, p. 65-98, Springer-Verlag, 2006.
  • Marius Petria and Rãzvan Diaconescu: Abstract Beth definability institutionally. Journal of Symbolic Logic. To appear, 2006/2007.
  • Razvan Diaconescu: Proof systems for institutional logic. Journal of Logic and Computation. To appear, 2006.
  • Till Mossakowski, Joseph Goguen, Rãzvan Diaconescu, Andrzej Tarlecki: What is a Logic?. In Jean-Yves Beziau, editor, Logica Universalis, pages 113-133. Birkhauser, 2005.
  • Rãzvan Diaconescu, Petros Stefaneas: Possible Worlds Semantics in arbitrary Institutions. IMAR Preprint 7-2003, ISSN 250-3638.
  • Razvan Diaconescu: Elementary diagrams in institutions. Journal of Logic and Computation. 14(5):651-674, 2004. .
  • Razvan Diaconescu: Herbrand Theorems in arbitrary institutions. Information Processing Letters. 90:29-37, 2004. .
  • Razvan Diaconescu: An institution-independent proof of Craig Interpolation Property. Studia Logica, 77(1):59-79, 2004.
  • Razvan Diaconescu: Interpolation in Grothendieck Institutions. Theoretical Computer Science, 311:439-461, 2003.
  • Razvan Diaconescu: Institution-independent Ultraproducts. Fundamenta Informaticae, 55(3-4):321-348, 2003.
  • Razvan Diaconescu's publication list - contains recent work on institutional model theory
Retrieved from "https://en.wikipedia.org/w/index.php?title=Institutional_model_theory&oldid=88150621"