Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 53, Number 2 (2012), 223-244.
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
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.
Notre Dame J. Formal Logic, Volume 53, Number 2 (2012), 223-244.
First available in Project Euclid: 9 May 2012
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Robles, Gemma; Méndez, José M. A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame J. Formal Logic 53 (2012), no. 2, 223--244. doi:10.1215/00294527-1715707. https://projecteuclid.org/euclid.ndjfl/1336588252