European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978.

Maurice Boffa P. Henrard

Published in: J. Symb. Log. (1980)

Keyphrases

modal logic
classical logic
high level
neural learning
deontic logic
predicate logic
meeting room
north american
proof theory
automated reasoning
logic programming
linear logic
european project
symbolic representation
artificial intelligence
symbolic description
neural network