Files

Thesis Stefano Gentili.pdf (449.95 KB)

Document type

Master thesis

Publication date

2020

Publication license

cc-by-nc-nd (c) Gentili, 2020
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/169893

Proof theory of the calculus of relations

Journal Title

Authors

Director/Tutor

Additional contribution

Journal ISSN

Volume Title

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.

Description

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Paolo Maffezioli

Related resource

Subject

Lògica, Teoria de la prova, Lògica matemàtica, Treballs de fi de màster, Càlcul

Subject (English)

Logic, Proof theory, Logic, Symbolic and mathematical, Master's theses

Citation

Collections

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Citation

GENTILI, Stefano. Proof theory of the calculus of relations. [consulted: 16 of October of 2026]. Available at: https://hdl.handle.net/2445/169893

Export metadata

JSON - METS

Share record