# name
Proof theory of the calculus of relations

# metadata.dc.description[].value
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Paolo Maffezioli

# metadata.dc.description.abstract[].value
The calculus of relations is a rich discipline that spanned much of the history of
symbolic logic, with contributions ranging from De Morgan to Tarski. Yet not much
is known about the proof theory for the calculus of relations. For example, a sequent
calculus developed by Maddux has the shortcoming of not being cut-free. In this
work we will develop a sequent calculus that is cut-free. To do this we will use a
procedure developed by Negri & von Plato to transform geometric theories into rules
for a sequent calculus.

# metadata.dc.source[].value
Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

# metadata.dc.title[].value
Proof theory of the calculus of relations