The independence of connectives
Journal of Symbolic Logic1962Vol. 27(4), pp. 426–436
Citations Over Time
Abstract
In a paper in this J ournal [1], McKinsey used as a criterion for the independence (non-definability) of a connective F in a propositional calculus L , the existence of a matrix for L in which the functions corresponding to all the connectives other than F are class-closing over some subset S of the elements, while the function corresponding to F is not class-closing over S (i.e., for a certain choice of arguments in S its value is not in S ).
Related Papers
- → A STUDY ON THE ACTUAL CONDITION OF BIG SHOPPING STORES' CLOSING AND THE TENDENCY OF ITS USES AFTER THE CLOSING IN THE CENTRAL AREAS OF LOCAL CITIES : From researches to municipalities in Hokuriku-Koshin-Etsu area(2002)4 cited
- → Adjusted Closing Prices(2011)2 cited
- On the Closing of a Class in College English(2008)
- → Geographical research on the closing of the big stores and the agendas on using of the closing in lacal cities(2013)