Institutional model theory

Institutional model theory

Institutional model theory generalizes a large portion of first-order model theory to an arbitrary 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
*elementary diagrams
*elementary embeddings
*ultraproducts, Los' theorem
*saturated models
*axiomatizability
*(quasi-)varieties, Birkhoff axiomatizability
*Craig interpolation
*Robinson consistency
*Beth definability
*Gödel's completeness theoremFor 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: [http://www.springer.com/west/home/new+%26+forthcoming+titles+(default)?SGWID=4-40356-22-173788448-0 Institution-Independent Model Theory] . Birkhäuser, 2008, to appear. ISBN 978-3-7643-8707-5.
*Marc Aiguier and Fabrice Barbier: An institution-independent proof of Beth definability theorem. Studia Logica, to appear.
*Daniel Gǎinǎ and Andrei Popescu: An institution-independent proof of Robinson's consistency theorem. Studia Logica, to appear.
*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 in institutions. Journal of Symbolic Logic 71(3), p. 1002-1028, 2006.
*Daniel Gǎinǎ and Andrei Popescu: An institution-independent generalisation of Tarski's elementary chain theorem, Journal of Logic and Computation, to appear, 2006.
*Razvan Diaconescu: Proof systems for institutional logic. Journal of Logic and Computation 16(3), p. 339-357, 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.
*Andrzej Tarlecki: On the existence of free models in abstract algebraic institutions. Theoretical Computer Science 37, p. 269-304, 1986.
*Andrzej Tarlecki: Quasi-varieties in abstract algebraic institutions. Journal of Computer and System Sciences 33(3), p. 333-360, 1986.
* [http://www.imar.ro/~diacon/publications.html#Institutions__institution-independent Razvan Diaconescu's publication list] - contains recent work on institutional model theory


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Model of Hierarchical Complexity — The model of hierarchical complexity is a framework for scoring how complex a behavior is. It quantifies the order of hierarchical complexity of a task based on mathematical principles of how the information is organized and of information… …   Wikipedia

  • Model of hierarchical complexity — The model of hierarchical complexity, is a framework for scoring how complex a behavior is. It quantifies the order of hierarchical complexity of a task based on mathematical principles of how the information is organized and of information… …   Wikipedia

  • Apparatus theory — Apparatus theory, derived in part from Marxist film theory, semiotics, and psychoanalysis, was a dominant theory within cinema studies during the 1970s. It maintains that cinema is by nature ideological because its mechanics of representation are …   Wikipedia

  • Social rule system theory — is an attempt to formally approach different kinds of social rule systems in a unified manner. Social rules systems include institutions such as norms, laws, regulations, taboos, customs, and a variety of related concepts and are important in the …   Wikipedia

  • Attachment theory — …   Wikipedia

  • Democratic peace theory — (or liberal democratic theory[1] or simply the democratic peace ) is the theory that democracies, for some appropriate definition of democracy, rarely, or even never, go to war with one another. Some have preferred the term inter democracy… …   Wikipedia

  • Critical theory — Horkheimer, Adorno, Habermas David Rasmussen HEGEL, MARX AND THE IDEA OF A CRITICAL THEORY Critical theory1 is a metaphor for a certain kind of theoretical orientation which owes its origin to Hegel and Marx, its systematization to Horkheimer and …   History of philosophy

  • Cultivation theory — is a social theory which examined the long term effects of television on American audiences of all ages. Developed by George Gerbner and Larry Gross of the University of Pennsylvania, cultivation theory derived from several large scale research… …   Wikipedia

  • Communication theory — is a field of information and mathematics that studies the technical process of information[1] and the human process of human communication.[2] Contents 1 History 1.1 Origins …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”