Abstract
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.
Citation
José M. Méndez. Gemma Robles. "A General Characterization of the Variable-Sharing Property by Means of Logical Matrices." Notre Dame J. Formal Logic 53 (2) 223 - 244, 2012. https://doi.org/10.1215/00294527-1715707
Information