Logic in Algebraic Form: Three Languages and Theories

✍ Scribed by William Craig (Eds.)

• Publisher: Elsevier Science
• Year: 1974
• Tongue: English
• Leaves: 208
• Series: Studies in Logic and the Foundations of Mathematics 72
• Category: Library

✦ Table of Contents

Content:
Edited by
Page ii

Copyright page
Page iv

Dedication
Page v

Acknowledgments
Page vii

Introduction
Pages 1-4

Chapter 1 Set-Theoretic Operations for First-Order Logic with Equality
Pages 5-20

Chapter 2 First Algebraization
Pages 21-30

Chapter 3 First Algebraization Continued
Pages 31-45

Chapter 4 Augmented Cylindric Theory for Sets of Finite Sequences
Pages 46-66

Chapter 5 Completeness
Pages 67-78

Chapter 6 Algebras of Sets and Algebras of Theories
Pages 79-100

Chapter 7 Second Algebraization
Pages 101-111

Chapter 8 Augmented Cylindric Theory for Sets of П‰-Sequences
Pages 112-118

Chapter 9 A Theory of Transformational and of Boolean Operations
Pages 119-148

Chapter 10 Theory of Transformational Relations
Pages 149-172

Chapter 11 Some Cases of Incompleteness
Pages 173-181

Bibliography
Pages 182-183

Index of Symbols
Pages 184-192

Index of Names, Phrases, Subjects
Pages 193-204