Alpha-conversion, conditions on variables and categorical logic.

Pierre-Louis Curien

Published in: Stud Logica (1989)

Keyphrases

sufficient conditions
modal logic
numerical values
variable selection
causal relationships
sound and complete axiomatization
environmental variables
relevant variables
multi valued
data sets
random variables
automated reasoning
predicate logic
logic programming
proof theory
high dimensional
genetic algorithm