The independence of connectives
- 1 December 1962
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 27 (4) , 426-436
- https://doi.org/10.2307/2964550
Abstract
In a paper in this Journal [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).Keywords
This publication has 3 references indexed in Scilit:
- An investigation of the propositional calculus used in a particular system of logicMathematical Proceedings of the Cambridge Philosophical Society, 1954
- Widerspruchsfreier Aufbau der Logik IThe Journal of Symbolic Logic, 1950
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topologyThe Journal of Symbolic Logic, 1941