Logic Colloquium '86
Subtitle: Proceedings
Contributors: Truss, J.K.
Series: Studies in Logic and the Foundations of Mathematics; Studies in logic and the foundations of mathematics
Publisher: Elsevier Science
Published: 1987
Place of publication: Oxford
Language: eng
Format: [electronic resource] :
Number of pages: 352
ISBN-13: 9780444535832
Subjects: Mathematics; Symbolic and mathematical Logic; Logic, Symbolic and mathematical -- Congresses
Description: The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic.This volume contains the texts of ten of the invited lectures and six of the contributed papers.
Notes: Description based upon print version of record.
Table of contents: title: Front Cover; Studies in Logic and the Foundations of Mathematics, Volume 124; Copyright Page; Preface; CONTENTS; Chapter 1 Parameter-Free Induction, the Matiyasevic Theorem and BΣ]; Chapter 2 A Laver-Type Indestructability for Accessible Cardinals; Chapter 3 A Complete Inference System for Regular Processes with Silent Moves; Chapter 4 Cumulative Logic Programs and Modelling; Chapter 5 What is Negation in a System?; Chapter 6 Teaching Logic by Computer : a Hacker's Guide; Chapter 7 On the Role of O' in Recursion Theory; Chapter 8 The Origins of Forcing; title: Chapter 9 How to obtain Interpolation for L K + KChapter 10 The Craig Interpolation Lemma for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups; Chapter 13 Introduction to the Theory of Logic Programming; Chapter 14 A Complete Class of Restricted Logic Programs; Chapter 15 Oscillations of Real Numbers; Chapter 16 Doing without Determinacy-Aspects of Inner Models