Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.

Matthias Baaz Agata Ciabattoni Christian G. Fermüller Helmut Veith

Published in: MFCS (1998)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
modal logic
theorem proving
bayesian networks
special case
expressive power
partial order
parallel processing