One significant area of recent research involves the exploration of groupoids associated with inverse ... to certain algebraic structures. Proper Display Calculi: A framework in proof theory ...