Default logic, a non-monotonic logic proposed by Raymond Reiter
For example, the computer language Prolog uses a sort of default assumption when dealing with negation: if a negative atom cannot be proved to be true, then it is assumed to be false.
logic | Logic | Programmable logic controller | Louis Logic | Transistor–transistor logic | Solid State Logic | Logic Pro | default | Cirrus Logic | Postmodernism, or, the Cultural Logic of Late Capitalism | Ladder Logic | Ladder logic | Journal of Symbolic Logic | informal logic | H-Logic | fuzzy logic | Formula (mathematical logic) | Default (finance) | Default (band) | Default | Burrows-Abadi-Needham logic | Bien Logic | Ω-logic | Valid Logic Systems | Twisted Logic Tour | Transistor-transistor logic | transistor–transistor logic | transistor-transistor logic | Three-valued logic | Three-state logic |