Logic Colloquium '86 ( Volume 124 )

Publication series ：Volume 124

Author： Drake F. R.;Truss J. K.

Publisher： Elsevier Science‎

Publication year： 1987

E-ISBN: 9780444535832

P-ISBN(Paperback): 9780444703262

P-ISBN(Hardback): 9780444703262

Subject： O1-0 mathematical theory

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

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.

Chapter

Front Cover

pp.： 1 – 4

Studies in Logic and the Foundations of Mathematics, Volume 124

pp.： 4 – 6

pp.： 6 – 10

Preface

pp.： 8 – 11

CONTENTS

pp.： 10 – 8

Chapter 1 Parameter-Free Induction, the Matiyasevic Theorem and BΣ]

pp.： 11 – 19

Chapter 2 A Laver-Type Indestructability for Accessible Cardinals

pp.： 19 – 31

Chapter 3 A Complete Inference System for Regular Processes with Silent Moves

pp.： 31 – 93

Chapter 4 Cumulative Logic Programs and Modelling

pp.： 93 – 105

Chapter 5 What is Negation in a System?

pp.： 105 – 123

Chapter 6 Teaching Logic by Computer : a Hacker's Guide

pp.： 123 – 143

Chapter 7 On the Role of O' in Recursion Theory

pp.： 143 – 153

Chapter 8 The Origins of Forcing

pp.： 153 – 185

Chapter 9 How to obtain Interpolation for L K + K

pp.： 185 – 219

Chapter 10 The Craig Interpolation Lemma for Certain Modal Logics

pp.： 219 – 229

Chapter 11 Model Theory and Representation Type of Algebras

pp.： 229 – 271

Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups

pp.： 271 – 287

Chapter 13 Introduction to the Theory of Logic Programming

pp.： 287 – 329

Chapter 14 A Complete Class of Restricted Logic Programs

pp.： 329 – 335

Chapter 15 Oscillations of Real Numbers

pp.： 335 – 343

Chapter 16 Doing without Determinacy-Aspects of Inner Models

pp.： 343 – 353

The users who browse this book also browse