Contracting Intuitionistic Theories.

Published in: Stud Logica (2005)

Keyphrases

linear logic
fuzzy set theory
theoretical framework
theorem prover
fuzzy numbers
computational intelligence
neural network
bayesian networks
cognitive psychology
defeasible logic
interval valued