Set recursion and Πhalf-logic.

Jean-Yves Girard Dag Normann

Published in: Ann. Pure Appl. Log. (1985)

Keyphrases

probability distribution
artificial intelligence
social networks
databases
neural network
information retrieval
website
case study
image sequences
feature space
input data
multi valued
logical framework
asynchronous circuits