On the linear decoration of intuitionistic derivations.

Vincent Danos Jean-Baptiste Joinet Harold Schellinx

Published in: Arch. Math. Log. (1995)

Keyphrases

neural network
inference rules
fuzzy set theory
linear constraints
real time
decision making
website
expert systems
fuzzy numbers
natural deduction