A general characterization of the variable-sharing property by means of logical matrices
[EN] As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2012 |
| 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/25872 |
| Acceso en línea: | https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-53/issue-2/A-General-Characterization-of-the-Variable-Sharing-Property-by-Means/10.1215/00294527-1715707.full https://hdl.handle.net/10612/25872 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Logical matrices Relevant logics Variable-sharing property 11 Lógica |
| Sumario: | [EN] As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. |
|---|