Combining Many-valued and Intuitionistic Tableaux.

Matthias Baaz Christian G. Fermüller

Published in: TABLEAUX (1996)

Keyphrases

modal logic
classical logic
functional dependencies
fuzzy numbers
databases
neural network
knowledge base
search algorithm
control system
temporal logic
theorem prover
fuzzy relations
linear logic