structures with no functions are studied as models for relational databases, in the form of relational models. In the context of mathematical logic,...

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...

This is a list of mathematical logic topics. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and...

Abstract structure Isomorphism Equivalent definitions of mathematical structures Intuitionistic type theory Mathematical object Algebraic structure Space...

Abstract structure Mathematical structure Structural geology Structure (mathematical logic) Structuralism (philosophy of science) "structure, n.". Oxford...

taking the power set countably many times. A structure (mathematical logic) of which another structure is a substructure. A key concept in Marxist philosophy...

In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manip­ulation of propositions...

Discrete mathematics is the study of mathematical structures that can be considered "discrete" (in a way analogous to discrete variables, having a bijection...

In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence...

significance Algebraic structure, the systems that are studied in universal algebra Structure (mathematical logic), the algebraic structures studied in model...