Miniatura

Fitxers

Thesis Stefano Gentili.pdf (449.95 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2020

Llicència de publicació

cc-by-nc-nd (c) Gentili, 2020
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/169893

Proof theory of the calculus of relations

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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.

Descripció

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

Matèries

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

Matèries (anglès)

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

Citació

Col·leccions

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

Citació

GENTILI, Stefano. Proof theory of the calculus of relations. [consulta: 31 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/169893]

Exportar metadades

JSON - METS

Compartir registre