n-Fold implicative basic logic is Gödel logic.

Esko Turunen Nganteu Tchikapa Celestin Lele

Published in: Soft Comput. (2012)

Keyphrases

logic programming
modal logic
classical logic
machine learning
artificial intelligence
knowledge base
website
automated reasoning
delay insensitive
database
proof theory
asynchronous circuits
predicate logic
set theory
defeasible logic
query language
evolutionary algorithm
image sequences
neural network
real time