A Functional calculus of first order based on strict implication
Author:
- Ruth C. BarcanRBRuth C. Barcan
- 12 March 1946
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 11 (1) , 1-16
Abstract
The following system is an extension of the Lewis calculus S2 to include quantification.Keywords
This publication has 2 references indexed in Scilit:
- Symbolic Logic. By C.I. Lewis and C.H. Langford. Pp. xi 506. 21s. 1932. (The Century Company, New York and London)The Mathematical Gazette, 1934
- A reduction in number of the postulates for C. I. Lewis’ system of strict implicationBulletin of the American Mathematical Society, 1934