product iamge

Logic in Algebraic Form: Three Languages and Theories

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): William Craig (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 72
Publisher: Elsevier Science
Year: 1974

Language: English
Pages: ii-vii, 1-204

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