A Structurally Complete Fragment of Relevant Logic.

John K. Stanley Robert K. Meyer

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

Keyphrases

closely related
machine learning
data sets
decision trees
real world
social networks
website
database systems
search algorithm
logic programming
modal logic
deontic logic
asynchronous circuits
sound and complete axiomatization