A structured visual guide to the major mathematical areas and their relationships.
Search by code, branch, topic, subtopic, or a keyword from the descriptions.
This subtopic studies algebraic logic, which connects logical systems with algebraic structures such as Boolean algebras, lattices, and related frameworks. It is used to translate logical questions into algebraic form, enabling structural and representation-theoretic analysis. Applications include semantics of nonclassical logics, database and information systems, and formal reasoning tools in computer science.
This topic covers Boolean algebras, the algebraic structures that capture classical propositional logic and set-like operations. They are central to algebraic logic and duality theory.
Used to represent logical formulas algebraically and to analyse classical reasoning.
This topic covers lattices and related structures, which generalize order and lattice operations and provide a semantic foundation for many logical systems. They also serve as a bridge between order theory and algebra.
Used in order theory, semantics, and the study of algebraic properties of logical connectives.
This topic covers quantum logic, the study of logical structures motivated by the lattice of closed subspaces in Hilbert space. It arose from attempts to formalize the logic of quantum mechanics.
Used to study logical structures that fit quantum theory better than classical Boolean logic.
This topic covers cylindric and polyadic algebras, algebraic systems designed to model first-order logic with variables and quantifiers. They form part of the algebraization of predicate logic.
Used to translate first-order logical phenomena into algebraic language.
This topic covers Łukasiewicz and Post algebras, which are algebraic semantics for many-valued logics. They capture graded truth values in algebraic form.
Used to represent many-valued truth-functional systems algebraically.
This topic covers other algebras related to logic, including varieties and structures that arise in specialized nonclassical logics. It functions as a catch-all for algebraic semantics beyond the main named families.
Used as a home for algebraic systems tied to logical semantics outside the main named cases.
This topic covers abstract algebraic logic, the general theory of how logical systems correspond to algebraic semantics. It studies the metatheory underlying algebraization.
Used to unify the algebraic study of many nonclassical and classical logics.
This topic covers categorical logic, where logical systems are studied through category-theoretic semantics and structure. It links logic with toposes, functors, and universal properties.
Used to connect logic with category theory and to interpret logical theories in categorical environments.