n-Fold implicative basic logic is Gödel logic

摘要

We prove that Haveshki’s and Eslami’s n-fold implicative basic logic is Gödel logic and n-fold positive implicative basic logic is a fragment of ukasiewicz logic.