An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.

Annalisa Bossi Silvio Valentini

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

Keyphrases

theoretical basis
theoretical framework
wide range
fuzzy variable
neural network
general theory
varying degrees
data sets
np hard
objective function
theorem prover
input variables
knowledge base
fuzzy set theory
decision making
logical framework
data mining
relevant variables