A Resolution Mechanism for Prenex Gödel Logic.

Matthias Baaz Christian G. Fermüller

Published in: CSL (2010)

Keyphrases

valued logic
normal form
low resolution
classical logic
high resolution
asynchronous circuits
genetic algorithm
data sets
consequence finding
selection mechanism
modal logic
sound and complete axiomatization
epistemic logic
higher resolution
multi valued
database design
computational model
fuzzy logic
databases