In the project, we will first review the principles and characteristics of the logic of accept and reject, trying to get a grip on the semantic counterpart of the systems.
We will then make some attempt to extend this framework  by adding specific Gentzen-type rules for conjunction and disjunction, study properties of the obtained system(s) and thus verify if and how it is possible to link them with (the  desirability view on) choice functions.