Article contents
A problem of Rosser and Turquette1
Published online by Cambridge University Press: 12 March 2014
Extract
In this paper an affirmative solution is given for the following problem in many-valued logic posed by Rosser and Turquette in [6] p. 110:
For every triple ‹s, t, m› with 1 ≤ s < t < m, is it possible to define a system of m-valued logic which satisfies the following conditions? I. Every statement which always takes values ≦ s is provable. II. No statement which ever takes a value > t is provable. III. Of those statements which always take values ≤ t and sometimes take a value > s, some are provable and some are not.
We state now, temporarily deferring comment, a more demanding alternative to Condition III: III′. For every truth value k such that s < k ≦ t, there are statements P and Q such that each takes the value k at least once, but never takes a value > k, and P is provable and Q is not.
In § 2 a solution is given on the level of the statement calculus. The remainder of the present section is devoted to some negative results which serve to clarify the problem, and one positive result which shall cause us to replace Condition III by III′. We confine our attention to the statement calculus.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1958
Footnotes
From a thesis in partial fulfillment of the requirements for the degree of Ph. D. in the Department of Mathematics of Cornell University. The author thanks Professor Use Novak Gál for her guidance and encouragement, and Professor J. Barkley Rosser for some valuable suggestions.
References
BIBLIOGRAPHY
- 1
- Cited by