The first axiomatization of relevant logic.

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

Keyphrases

modal logic
closely related
decision making
classical logic
predicate logic
information retrieval
genetic algorithm
information systems
knowledge base
logic programming
integrity constraints
sound and complete axiomatization