Miniatura

Fitxers

177032.pdf (1.15 MB)

Tipus de document

Treball de fi de grau

Data de publicació

2020-06-21

Llicència de publicació

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

On the construction and algebraic semantics of relevance logic

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[en] The truth-functional interpretation of classical implication gives rise to relevance paradoxes, since it doesn't adequately model our usual understanding of a valid implication, which assumes the antecedent is relevant to the truth of the consequent. This work gives an overview of the system $\mathbf{R}$ of relevance logic, which aims to avoid said paradoxes. We present the logic $\mathbf{R}$ with a Hilbert calculus and then prove the Variable-sharing Theorem. We also give an equivalent algebraic semantics for $\mathbf{R}$ and a semantics for its first-degree entailment fragment.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Joan Gispert Brasó

Matèries

Lògica matemàtica, Treballs de fi de grau, Lògica algebraica

Matèries (anglès)

Mathematical logic, Bachelor's theses, Algebraic logic

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

GASTÓN CODONY, Andrea. On the construction and algebraic semantics of relevance logic. [consulta: 23 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/177032]

Exportar metadades

JSON - METS

Compartir registre