 This logic was an early example of a many-valued logic, introduced by Jan Łukasiewicz and Alfred Tarski (1930), well before the inception of the theory of fuzzy sets, by means of an equivalent axiomatic system (with modus ponens as the only inference rule):