Cover for Algebraic Methods of Mathematical Logic

Algebraic Methods of Mathematical Logic

Book1967

Edited by:

Ladislav Rieger

Algebraic Methods of Mathematical Logic

Book1967

 

Cover for Algebraic Methods of Mathematical Logic

Edited by:

Ladislav Rieger

Browse this book

Book description

Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization. The book fir ... read full description

Browse content

Table of contents

Actions for selected chapters

Select all / Deselect all

  1. Full text access
  2. Book chapterAbstract only

    Chapter 1 - INTRODUCTION

    Pages 9-24

  3. Book chapterAbstract only

    Chapter 2 - THE LANGUAGE OF MATHEMATICS AND ITS SYMBOLIZATION

    Pages 25-37

  4. Book chapterAbstract only

    Chapter 3 - RECURSIVE CONSTRUCTION OF THE RELATION OF CONSEQUENCE

    Pages 38-69

  5. Book chapterAbstract only

    Chapter 4 - EXPRESSIVE POSSIBILITIES OF THE PRESENT SYMBOLIZATION

    Pages 70-82

  6. Book chapterAbstract only

    Chapter 5 - INTUITIVE AND MATHEMATICAL NOTIONS OF AN IDEALIZED AXIOMATIC MATHEMATICAL THEORY

    Pages 83-100

  7. Book chapterAbstract only

    Chapter 6 - THE ALGEBRAIC THEORY OF ELEMENTARY PREDICATE LOGIC

    Pages 101-122

  8. Book chapterAbstract only

    Chapter 7 - FOUNDATIONS OF THE ALGEBRAIC THEORY OF LOGICAL SYNTAX

    Pages 123-180

  9. Book chapterAbstract only

    Chapter 8 - ALGEBRAIC LAWS OF SEMANTICS OF FIRST-ORDER PREDICATE LOGIC

    Pages 181-199

  10. Book chapterNo access

    Bibliography

    Pages 200-206

  11. Book chapterNo access

    Index

    Pages 207-210

About the book

Description

Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization. The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language. The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization. The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic.

Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization. The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language. The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization. The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic.

Details

ISBN

978-1-4832-3123-5

Language

English

Published

1967

Copyright

Copyright © 1967 Elsevier Inc. All rights reserved.

Imprint

Academic Press

You currently don’t have access to this book, however you can purchase separate chapters directly from the table of contents or buy the full version.

Purchase the book

Editors

Ladislav Rieger