Book contents
- Frontmatter
- Preface
- Contents
- The Logical Foundations of Discourse Interpretation
- Complete Sets and Structure in Subrecursive Classes
- Kernels and cohomology groups for some finite covers
- On “star” schemata of Kossak and Paris
- Arithmetizing proofs in analysis
- Satisfaction classes and automorphisms of models of PA
- Free monoid completeness of the Lambek calculus allowing empty premises
- Simple groups definable in O-minimal structures
- Two-Dimensional Temporal Logic
- Rather Classless, Highly Saturated Models of Peano Arithmetic
- Incompleteness theorems and Si2 versus Si2
Preface
Published online by Cambridge University Press: 24 March 2017
- Frontmatter
- Preface
- Contents
- The Logical Foundations of Discourse Interpretation
- Complete Sets and Structure in Subrecursive Classes
- Kernels and cohomology groups for some finite covers
- On “star” schemata of Kossak and Paris
- Arithmetizing proofs in analysis
- Satisfaction classes and automorphisms of models of PA
- Free monoid completeness of the Lambek calculus allowing empty premises
- Simple groups definable in O-minimal structures
- Two-Dimensional Temporal Logic
- Rather Classless, Highly Saturated Models of Peano Arithmetic
- Incompleteness theorems and Si2 versus Si2
Summary
The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Sebastián) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Country. It was supported by: the University of Pais Vasco/Euskal Herriko Unibertsitatea, the Ministerio de Educatiόn y Ciencia (DGCYT), Hezkuntza Saila (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fundazioa.
The main topics of the meeting were Model Theory, Proof Theory, Recursion and Complexity Theory, Models of Arithmetic, Logic for Artificial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic.
The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcázar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastián), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid).
The organizing Committee consisted of X. Arrazola (San Sebastián), A. Arrieta (San Sebastián), R. Beneyeto (Valencia), B. Carrascal (San Sebastián), K. Korta (San Sebastián), J.M. Larrazabal (San Sebastián, chairman), J.C. Martínez (Barcelona), J.M. Méndez (Salamanca), F. Migura (Victoria) and J. Pérez (Victoria).
Twenty-three one hour lectures were given at the meeting by: N. Asher (University of Texas), M.L. Bonet (Universidad Politécnica de Cataluña), J. Etchmendy (Stanford University), D. Evans (University of East Anglia), L. Gordeev (Tuebingen), M. Hyland (University of Cambridge), V. Kanovei (Moscow TEI), U. Kohlenbach (Frankfurt University), R. Kossak (City University of New York), M. Kummer (Universität Karlsruhe), S. Lempp (University of Wisconsin), B. Nebel (University of Ulm), A. Nesin (Tehran), H.J. Ohlbach (Imperial College, London), M. Pentus (Moscow State University), M. Pinkal (Universität des Saarlandes), G. Priest (University of Queensland), M. Reynolds (King's College, London), E. Sandewall (Linkoping University), J. Schmerl (University of Connecticut), S. Starchenko (Vanderbilt University), G. Takeuti (University of Illinois) and L. Torentliev (University of Amsterdam).
- Type
- Chapter
- Information
- Logic Colloquium '96 , pp. v - viPublisher: Cambridge University PressPrint publication year: 2017