  A first type of application of systems of MVL to logic itself is to use them to gain a better understanding of other systems of logic. In this way the Gödel systems arose out of an approach to test whether intuitionistic logic may be understood as a finitely valued logic. The introduction of systems of MVL by Łukasiewicz (1920) was initially guided by the (finally unsuccessful) idea of understanding the notion of possibility, i.e. modal logic, in a 3-valued way.