Translator Disclaimer
2012 A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
José M. Méndez, Gemma Robles
Notre Dame J. Formal Logic 53(2): 223-244 (2012). DOI: 10.1215/00294527-1715707

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

Download 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

Published: 2012
First available in Project Euclid: 9 May 2012

zbMATH: 1254.03041
MathSciNet: MR2925279
Digital Object Identifier: 10.1215/00294527-1715707

Subjects:
Primary: 03B47

Rights: Copyright © 2012 University of Notre Dame

JOURNAL ARTICLE
22 PAGES


SHARE
Vol.53 • No. 2 • 2012
Back to Top