Erratum to: n-Fold implicative basic logic is Gödel logic.

Esko Turunen Nganteu Tchikapa Celestin Lele

Published in: Soft Comput. (2012)

Keyphrases

classical logic
modal logic
logic programming
automated reasoning
multi valued
predicate logic
probabilistic logic
set theory
formal theory
abductive reasoning
asynchronous circuits