New axiomatics for relevant logics, I.

Robert K. Meyer

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

Keyphrases

expressive power
knowledge base
highly relevant
evolutionary algorithm
data mining
information retrieval
information systems
case study
modal logic
computational properties
propositional calculus