Representing Scope in Intuitionistic Deductions.

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

Keyphrases

linear logic
fuzzy set theory
neural network
information retrieval
decision making
video sequences
user interface
evolutionary algorithm
control system
probabilistic model
theorem prover
fuzzy information