# name
On the construction and algebraic semantics of relevance logic

# metadata.dc.description[].value
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Joan Gispert Brasó

# metadata.dc.description.abstract[].value
[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.

# metadata.dc.rights[].value
cc-by-nc-nd (c) Andrea Gastón Codony, 2020

# metadata.dc.source[].value
Treballs Finals de Grau (TFG) - Matemàtiques

# metadata.dc.title[].value
On the construction and algebraic semantics of relevance logic