A Note on Some Intermediate Propositional Calculi.

Branislav R. Boricic

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

Keyphrases

propositional logic
first order logic
default logic
onset detection
data sets
spatial relations
multi valued
neural network
expert systems
reasoning problems
qualitative spatial and temporal reasoning