Rutgers Universitytefkos.comminfo.rutgers.edu/Saracevic_relevance_75.pdf · have provided, within the structure for a pure calculus of entailment, an "axiomatic system that captures