Logical Predicates for Intuitionistic Linear Type Theories.

Masahito Hasegawa

Published in: TLCA (1999)

Keyphrases

interval valued
information systems
boolean expressions
machine learning
user defined
logical formulas
database
decision making
bayesian networks
theoretical framework
linear systems
logical framework
cognitive psychology
linear logic
logical reasoning