線形論理どころか、数理論理学、基礎論自体がお遊びで、
プログラミングとはまったく関係ない。