Simplified Axiom Schemes for Implication and Iterated Implication.

Published in: Math. Log. Q. (1985)

Keyphrases

functional dependencies
database schemes
real time
website
preprocessing
modal logic
data sets
neural network
metadata
image segmentation
lower bound
relational databases
inference rules