Ward, Morgan (1935) A Determination of all Possible Systems of Strict Implication. American Journal of Mathematics, 57 (2). pp. 261-266. ISSN 0002-9327. doi:10.2307/2371202. https://resolver.caltech.edu/CaltechAUTHORS:20200327-154919811
![]() |
PDF
- Published Version
See Usage Policy. 323kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200327-154919811
Abstract
It is known that the postulates chosen by C. I. Lewis for his "system of strict implication" are not categorical, since three distinct types of such a system have been shown to exist. I shall prove here that the three types already discovered are the only ones possible. The inclusion of an additional modal postulate. will therefore make the system categorical, and allow it to be exhibited as a four-valued truth-value system. The corresponding entscheidung problem may then be solved by the matrix method.
Item Type: | Article | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| |||||||||
Additional Information: | © 1935 Johns Hopkins University Press. | |||||||||
Issue or Number: | 2 | |||||||||
DOI: | 10.2307/2371202 | |||||||||
Record Number: | CaltechAUTHORS:20200327-154919811 | |||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20200327-154919811 | |||||||||
Official Citation: | Ward, Morgan. “A Determination of All Possible Systems of Strict Implication.” American Journal of Mathematics, vol. 57, no. 2, 1935, pp. 261–266. JSTOR, www.jstor.org/stable/2371202. Accessed 27 Mar. 2020 | |||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
ID Code: | 102158 | |||||||||
Collection: | CaltechAUTHORS | |||||||||
Deposited By: | Tony Diaz | |||||||||
Deposited On: | 27 Mar 2020 22:55 | |||||||||
Last Modified: | 16 Nov 2021 18:09 |
Repository Staff Only: item control page