Hyperidentities Boolean And De Morgan Structures
Download Hyperidentities Boolean And De Morgan Structures PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Hyperidentities Boolean And De Morgan Structures book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Hyperidentities: Boolean And De Morgan Structures
Hyperidentities are important formulae of second-order logic, and research in hyperidentities paves way for the study of second-order logic and second-order model theory.This book illustrates many important current trends and perspectives for the field of hyperidentities and their applications, of interest to researchers in modern algebra and discrete mathematics. It covers a number of directions, including the characterizations of the Boolean algebra of n-ary Boolean functions and the distributive lattice of n-ary monotone Boolean functions; the classification of hyperidentities of the variety of lattices, the variety of distributive (modular) lattices, the variety of Boolean algebras, and the variety of De Morgan algebras; the characterization of algebras with aforementioned hyperidentities; the functional representations of finitely-generated free algebras of various varieties of lattices and bilattices via generalized Boolean functions (De Morgan functions, quasi-De Morgan functions, super-Boolean functions, super-De Morgan functions, etc); the structural results for De Morgan algebras, Boole-De Morgan algebras, super-Boolean algebras, bilattices, among others.While problems of Boolean functions theory are well known, the present book offers alternative, more general problems, involving the concepts of De Morgan functions, quasi-De Morgan functions, super-Boolean functions, and super-De Morgan functions, etc. In contrast to other generalized Boolean functions discovered and investigated so far, these functions have clearly normal forms. This quality is of crucial importance for their applications in pure and applied mathematics, especially in discrete mathematics, quantum computation, quantum information theory, quantum logic, and the theory of quantum computers.
Boolean Algebra
Author: R. L. Goodstein
language: en
Publisher: Courier Corporation
Release Date: 2012-08-15
This elementary treatment by a distinguished mathematician employs Boolean algebra as a simple medium for introducing important concepts of modern algebra. Numerous examples appear throughout the text, plus full solutions.
Function Algebras on Finite Sets
Author: Dietlinde Lau
language: en
Publisher: Springer Science & Business Media
Release Date: 2006-11-23
Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory. This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science.