Logic Colloquium ’96

Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints (Herausgeber)

Buch | Softcover

VII, 265 Seiten

1998
Springer Berlin (Verlag)
978-3-540-64668-6 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.

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

Erscheint lt. Verlag	15.10.2013
Reihe/Serie	Lecture Notes in Logic
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	360 g
Einbandart	Paperback
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Artificial Intelligence • Complexity theory • Logic • model Theory • Proof theory
ISBN-10	3-540-64668-X / 354064668X
ISBN-13	978-3-540-64668-6 / 9783540646686
Zustand	Neuware