Generation (particle physics)In particle physics, a generation or family is a division of the elementary particles. Between generations, particles differ by their flavour quantum number and mass, but their electric and strong interactions are identical. There are three generations according to the Standard Model of particle physics. Each generation contains two types of leptons and two types of quarks. The two leptons may be classified into one with electric charge −1 (electron-like) and neutral (neutrino); the two quarks may be classified into one with charge − (down-type) and one with charge + (up-type).
Beta function (physics)In theoretical physics, specifically quantum field theory, a beta function, β(g), encodes the dependence of a coupling parameter, g, on the energy scale, μ, of a given physical process described by quantum field theory. It is defined as and, because of the underlying renormalization group, it has no explicit dependence on μ, so it only depends on μ implicitly through g. This dependence on the energy scale thus specified is known as the running of the coupling parameter, a fundamental feature of scale-dependence in quantum field theory, and its explicit computation is achievable through a variety of mathematical techniques.
Principle of bivalenceIn logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic. In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent.
Finite-valued logicIn logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided").
