El CRAI romandrà tancat del 24 de desembre de 2025 al 6 de gener de 2026. La validació de documents es reprendrà a partir del 7 de gener de 2026.
El CRAI permanecerá cerrado del 24 de diciembre de 2025 al 6 de enero de 2026. La validación de documentos se reanudará a partir del 7 de enero de 2026.
From 2025-12-24 to 2026-01-06, the CRAI remain closed and the documents will be validated from 2026-01-07.
 
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: 26 de desembre de 2025]. [Disponible a: https://hdl.handle.net/2445/169893]

Exportar metadades

JSON - METS

Compartir registre