On conserving positive logics.

Robert K. Meyer

Published in: Notre Dame J. Formal Log. (1973)

Keyphrases

positive and negative
expressive power
modal logic
inference rules
neural network
information retrieval
case study
positive feedback
propositional calculus
image processing
clustering algorithm
hidden markov models
statistically significant
nonmonotonic logics
intuitionistic logic