En 1920, J. Lukasiewicz introdujo sus sistemas de logicas polivalentes como una tentativa de investigar las proposiciones modales y las nociones de posibilidad y necesidad íntimamente relacionadas con tales proposiciones. ...