A consecutive calculus for positive relevant implication with necessity.

Nuel D. Belnap Jr.Anil Gupta J. Michael Dunn

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

Keyphrases

positive and negative
neural network
social networks
functional dependencies
database
databases
machine learning
expressive power