Please use this identifier to cite or link to this item:
Title: Proof theory of the calculus of relations
Author: Gentili, Stefano
Director/Tutor: Maffezioli, Paolo
Keywords: Lògica
Teoria de la prova
Lògica matemàtica
Tesis de màster
Proof theory
Logic, Symbolic and mathematical
Masters theses
Issue Date: 2020
Abstract: 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.
Note: Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Paolo Maffezioli
Appears in Collections:Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Files in This Item:
File Description SizeFormat 
Thesis Stefano Gentili.pdf449.95 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons