Any deductive system with a conjunction for which the inference of adjunction is not valid. Alternatively, a logic is non-adjunctive if there exists some -theory including two formulae and such that . The most well-known example of a non-adjunctive logic is discursive logic.