Simple Axiomatizations for Pretabular Classical Relevance Logics.

Asadollah Fallahi

Published in: Stud Logica (2020)

Keyphrases

decision procedures
machine learning
case study
higher order
real world
information retrieval
feature selection
website
expressive power
inference rules
straight forward