Deviant logic
（重定向自Extended logic）
Philosopher Susan Haack uses the term "deviant logic" to describe certain non-classical systems of logic. In these logics,
The set of theorems of a deviant logic can differ in any possible way from classical logic's set of theorems: as a proper subset, superset, or fully exclusive set. A notable example of this is the trivalent logic developed by Polish logician and mathematician Jan Łukasiewicz. Under this system, any theorem necessarily dependent on classical logic's principle of bivalence would fail to be valid. The term first appears in Chapter 6 of Willard Van Orman Quine's Philosophy of Logic, New Jersey: Prentice Hall (1970), which is cited by Haack on p. 15 of her book.