Perfect Pavelka Logic.

Esko Turunen Mirko Navara

Published in: Fuzzy Sets Syst. (2016)

Keyphrases

modal logic
predicate logic
neural network
logic programming
classical logic
formal theory
databases
multi valued
probabilistic logic
abductive reasoning
asynchronous circuits
proof theory
logic synthesis