Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-25T19:32:02.756Z Has data issue: false hasContentIssue false
  • English
  • Français

A note on the deductive completeness of m-valued propositional calculi

Published online by Cambridge University Press:  12 March 2014

J. B. Rosser  and
A. R. Turquette
J. B. Rosser
Affiliation:
Cornell Universityand University of Illinois
A. R. Turquette
Affiliation:
Cornell Universityand University of Illinois
Get access Rights & Permissions [Opens in a new window]

Extract

In this note we present a simplification of the axiom schemes which were given in our earlier paper Axiom schemes for m-valued propositional calculi. Except for new concepts that are needed for our present purposes, the terminology used will be the same as that introduced in the earlier paper. Hence, we can say that in addition to listing our simplified specifications for axiom schemes, we shall indicate how our new axiom schemes may be used to establish deductive completeness.

The simplification of our axiom schemes is achieved by using only the operators ⊃ and Jk( ) with the resulting elimination of ∨ and ·. This does not constitute an actual reduction in functional complexity since the latter operators can be denned in terms of the former. For example,

However, by dispensing with ∨ and · one can greatly reduce the number of axioms without an appreciable increase in the difficulties of proving deductive completeness.

Our simplified specifications for axiom schemes will retain conditions (1) and (3) of our earlier set but (2) and (4) will be changed to (2*) and (4*) which we will now state.

(2*) Assume that an implication function (P ⊃ Q) can be defined exclusively in terms of the basic functions Fi(P1, …:, Pαi).

The statement of what follows is simplified by introducing a chain symbol defined recursively as follows:

The variable i of a chain symbol which takes values from u to v will be called the chain variable. When it is clear that i is the chain variable we will use the notation in place of . Hence, denotes (P5 ⊃ (P4 ⊃ (P3 ⊃ Q))).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 14 , Issue 4 , January 1950 , pp. 219 - 225
Copyright
Copyright © Association for Symbolic Logic 1950

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 See this Journal, vol. 10, no. 3, pp. 61–82.

2 Ibid., pp. 78–79.

3 Ibid., pp. 77–78.

4 Ibid., p. 78.

5 Ibid., p. 70.

6 Ibid., pp. 61–62.

7 Ibid., pp. 78–81.

8 Ibid., pp. 79–81.