Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/169893
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 Treballs de fi de màster Càlcul Logic Proof theory Logic, Symbolic and mathematical Master's 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 |
URI: | http://hdl.handle.net/2445/169893 |
Appears in Collections: | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Thesis Stefano Gentili.pdf | 449.95 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License