 (The LP-based theories and \(K_3\)-based theories are—at least on one (standard-first-order) level—simply strengthened logics of the broader FDE logic. For general discussion of such frameworks, see, e.g. Priest 2008.)