Note on witnessed Gödel logics with Delta.

Matthias Baaz Oliver Fasching

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

valued logic
modal logic
expressive power
inference rules
classical logic
onset detection
decision making
propositional dynamic logic
proof theoretic
yangtze river
real time
propositional calculus
decision procedures
temporal logic
fuzzy sets
fuzzy logic
multiscale
case study
website
neural network