Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

225387

Jewels of institution-independent model theory

Răzvan Diaconescu

pp. 65-98

Résumé

This paper is dedicated to Joseph Goguen, my beloved teacher and friend, on the ocassion of his 65th anniversary. It is a survey of institution-independent model theory as it stands today, the true form of abstract model theory which is based on the concept of institution. Institution theory was co-fathered by Joseph Goguen and Rod Burstall in late 1970's. In the final part we discuss some philosophical roots of institution-independent methodologies.

Détails de la publication

Publié dans:

Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.

Pages: 65-98

DOI: 10.1007/11780274_5

Citation complète:

Diaconescu Răzvan, 2006, Jewels of institution-independent model theory. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (65-98). Dordrecht, Springer.