
Logic Colloquium '96
Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996
Springer (Publisher)
Published on 16. July 1998
Book
Paperback/Softback
VII, 265 pages
978-3-540-64668-6 (ISBN)
Description
The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) 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 Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), 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 Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria).
More details
Series
Language
English
Place of publication
Heidelberg
Germany
Publishing group
Springer Berlin
Target group
College/higher education
Professional and scholarly
Research
Illustrations
1 s/w Abbildung
1 black & white illustrations, biography
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
360 gr
ISBN-13
978-3-540-64668-6 (9783540646686)
DOI
10.1007/978-3-662-22110-5
Schweitzer Classification
Content
Preface.- N. Asher: The Logical Founations of Discourse Interpretation.- H. Buhrman & L. Torenvliet: Complete Sets and Structure in Subrecursive Classes.- D. Evans & D. Gray: Kernels and cohomology groups for some finite covers.- V. Kanovei: On 'star' schemata of Kossak and Paris.- U. Kohlenbach: Arithmetizing proofs in analysis.- R. Kossak: Satisifaction classes and autormorphisms of models of PA.- M. Pentus: Free monoid completeness of the Lambeck calculus allowing empty premises.- Y. Peterzil, A. Pillay & S. Starchenko: Simple groups definable in O-minimal structures.- M. Reynolds: Two-Dimensinonal Temporal Logic.- J.H. Schmerl: Rather Classless, Highly Saturated Models of Peano Arithmetic.- G. Takeuti: Incompleteness theorems and Si2 versus Si+12