Author: Steven Givant Publisher: Springer Science & Business Media ISBN: 0387684360 Category : Mathematics Languages : en Pages : 589
Book Description
This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual.
Author: Paul R. Halmos Publisher: Courier Dover Publications ISBN: 0486834573 Category : Mathematics Languages : en Pages : 160
Book Description
Concise and informal as well as systematic, this presentation on the basics of Boolean algebra has ranked among the fundamental books on the subject since its initial publication in 1963.
Author: Steven Givant Publisher: Springer Science & Business Media ISBN: 0387402934 Category : Mathematics Languages : en Pages : 589
Book Description
This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual.
Author: J. Donald Monk Publisher: Springer Science & Business Media ISBN: 3034603347 Category : Mathematics Languages : en Pages : 308
Book Description
This text covers cardinal number valued functions defined for any Boolean algebra such as cellularity. It explores the behavior of these functions under algebraic operations such as products, free products, ultraproducts and their relationships to each other.
Author: Frank Markham Brown Publisher: Courier Corporation ISBN: 0486164594 Category : Mathematics Languages : en Pages : 304
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Author: Paul Halmos Publisher: American Mathematical Soc. ISBN: 1470451662 Category : Mathematics Languages : en Pages : 141
Book Description
Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. The presentation, written in the engaging and provocative style that is the hallmark of Paul Halmos, from whose course the book is taken, is aimed at a broad audience, students, teachers and amateurs in mathematics, philosophy, computer science, linguistics and engineering; they all have to get to grips with logic at some stage. All that is needed.
Author: Ranganathan Padmanabhan Publisher: World Scientific ISBN: 9812834540 Category : Mathematics Languages : en Pages : 229
Book Description
The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of ?join and meet? or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems. A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which ? according to G Gratzer, a leading expert in modern lattice theory ? is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices.
Author: Arthur Knoebel Publisher: Springer Science & Business Media ISBN: 0817642188 Category : Mathematics Languages : en Pages : 336
Book Description
This unique monograph building bridges among a number of different areas of mathematics such as algebra, topology, and category theory. The author uses various tools to develop new applications of classical concepts. Detailed proofs are given for all major theorems, about half of which are completely new. Sheaves of Algebras over Boolean Spaces will take readers on a journey through sheaf theory, an important part of universal algebra. This excellent reference text is suitable for graduate students, researchers, and those who wish to learn about sheaves of algebras.
Author: Steven Givant
Author: Paul R. Halmos
Author: Steven Givant
Author: Philip Dwinger
Author: Sabine Koppelberg
Author: J. Donald Monk
Author: Frank Markham Brown
Author: Paul Halmos
Author: Ranganathan Padmanabhan
Author: Arthur Knoebel