A class of 4-valued implicative expansions of first-degree entailment logic (FDE) with the variable-sharing property
[EN] Anderson and Belnap consider the variable-sharing property (VSP) a necessary property a relevance logic has to fulfill. A logic L has the VSP if in all L-theorems of implication form antecedent and consequent share at least a propositional variable. If a propositional logic has the VSP then it...
| Autores: | , |
|---|---|
| Tipo de recurso: | capítulo de libro |
| Fecha de publicación: | 2022 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/22950 |
| Acceso en línea: | https://www.collegepublications.co.uk/tributes/?00046 https://hdl.handle.net/10612/22950 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica First degree entailment logic 4-valued relevance logics Relevance logics Two-valued Belnap–Dunn semantics Variable-sharing property 11 Lógica |
| Sumario: | [EN] Anderson and Belnap consider the variable-sharing property (VSP) a necessary property a relevance logic has to fulfill. A logic L has the VSP if in all L-theorems of implication form antecedent and consequent share at least a propositional variable. If a propositional logic has the VSP then it is free from "paradoxes of relevance." The aim of this paper is to define a class of implicative expansions with the VSP of the well-known first-degree entailment logic, FDE. The properties the elements in this class enjoy make them important logics, not mere artificial constructs. |
|---|