product iamge

Languages with Expressions of Infinite Length

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): Carol R. Karp (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 36
Publisher: Elsevier Science
Year: 1964

Language: English
Pages: xix, 183

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vi

Foreward on Set Theory
Pages xi-xiii

Foreward on Algebra
Pages xv-xix

Chapter 1 Introduction
Pages 1-8

Chapter 2 Infinitary Concatenation
Pages 9-16

Chapter 3 Algebras of Terms of Infinite Length
Pages 17-29

Chapter 4 Infinitary Propositional Languages
Pages 30-38

Chapter 5 Infinitary Propositional Logic
Pages 39-54

Chapter 6 Representation Theory for Boolean Algebras
Pages 55-64

Chapter 7 Non-Deducibility in Infinitary Propositional Logic
Pages 65-70

Chapter 8 Systems of Formulas of Infinite Length
Pages 71-83

Chapter 9 Substitution
Pages 84-100

Chapter 10 Infinitary Predicate Languages
Pages 101-118

Chapter 11 Infinitary Predicate Logic
Pages 119-136

Chapter 12 Non-Deducibility in Infinitary Predicate Logic
Pages 137-151

Chapter 13 The Definability of the Infinitary Formal Systems
Pages 152-165

Chapter 14 Incompleteness in Infinitary Predicate Logic
Pages 166-174

References
Pages 175-177

Index of Symbols
Pages 179-180

Subject Index
Pages 181-183