Analyzing Complexity Classes for Information Retrieval and Synthesis Using Natural Logic

The author introduces a novel framework based on natural deduction calculus to analyze the complexity of question answers, highlighting different fragments and their implications.