Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules.

Published in: Theor. Comput. Sci. (1997)

Keyphrases

natural deduction
cut elimination
inference rules
theorem prover
intuitionistic logic
distributed systems
expert systems
fuzzy numbers
sequent calculus
linear logic
rule based systems
computer systems
fuzzy set theory
wide class
supervised learning
software engineering
fuzzy logic