Algebraic Methods of Mathematical Logic

Algebraic Methods of Mathematical Logic
Author :
Publisher : Elsevier
Total Pages : 213
Release :
ISBN-10 : 9781483270524
ISBN-13 : 1483270521
Rating : 4/5 (521 Downloads)

Book Synopsis Algebraic Methods of Mathematical Logic by : Ladislav Rieger

Download or read book Algebraic Methods of Mathematical Logic written by Ladislav Rieger and published by Elsevier. This book was released on 2014-05-12 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Algebraic Methods of Mathematical Logic
Language: en
Pages: 213
Authors: Ladislav Rieger
Categories: Mathematics
Type: BOOK - Published: 2014-05-12 - Publisher: Elsevier

DOWNLOAD EBOOK

Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetiz
Algebraic Methods in Philosophical Logic
Language: en
Pages: 490
Authors: J. Michael Dunn
Categories:
Type: BOOK - Published: 2001-06-28 - Publisher: OUP Oxford

DOWNLOAD EBOOK

This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathe
Algebraic Methods of Mathematical Logic
Language: en
Pages: 210
Authors: Ladislav Rieger
Categories: Lógica simbólica
Type: BOOK - Published: 1967 - Publisher:

DOWNLOAD EBOOK

An Algebraic Introduction to Mathematical Logic
Language: en
Pages: 129
Authors: D.W. Barnes
Categories: Mathematics
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a substantial cours
Algebraic Logic
Language: en
Pages: 272
Authors: Paul R. Halmos
Categories: Mathematics
Type: BOOK - Published: 2016-03-17 - Publisher: Courier Dover Publications

DOWNLOAD EBOOK

Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appear