Categories: Mathematical lists | Abstract algebra | Topic lists The algebra of sets develops and describes the basic properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality (mathematics) and set inclusion. ... Boolean logic is a system of syllogistic logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the empty set, that is, a class of non-existent entities, such as round squares, without resorting to uncertain truth values. ... In mathematics, a number of prime ideal theorems for guaranteeing the existence of certain subsets of an abstract algebra can be stated. ... The Boolean satisfiability problem (SAT) is a decision problem considered in complexity theory. ... The compactness theorem is a basic fact in symbolic logic and model theory and asserts that a set (possibly infinite) of first-order sentences is satisfiable, i. ... In logical calculus, logical operators or logical connectors serve to connect statements into more complicated compound statements. ... In logic, De Morgans laws (or De Morgans theorem) are rules in formal logic relating pairs of dual logical operators in a systematic manner expressed in terms of negation. ... In logic, mathematics, and computer science, a formal system is a formal grammar used for modelling purposes. ... The Karnaugh map, also known as a Veitch diagram (K-map or KV-map for short), is a tool to facilitate management of Boolean algebraic expressions. ... Jump to: navigation, search A logic gate is an arrangement of controlled switches used to calculate operations using Boolean algebra in digital circuits. ... Jump to: navigation, search Marshall Harvey Stone (April 8, 1903 - January 9, 1989) was an American mathematician who made several important contributions in various areas of mathematical analysis, including in particular functional analysis. ... In mathematics, especially in topology and order theory, there is an ample supply of categorical dualities between certain categories of topological spaces and categories of partially ordered sets. ... In mathematics, Stones representation theorem for Boolean algebras, named in honor of Marshall H. Stone, is the duality between the category of Boolean algebras and the category of Stone spaces, i. ... In abstract algebra and mathematical logic, topological Boolean algebra is one of the many names that have been used for an interior algebra in the literature. ... Truth tables are a type of mathematical table used in logic to determine whether an expression is true or whether an argument is valid. ...