Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-27T00:47:08.785Z Has data issue: false hasContentIssue false

A minimal canonically complete m-valued proper logic for each m

Published online by Cambridge University Press:  12 March 2014

Richard L. Call*
Affiliation:
Lafayette College

Extract

In [1], William H. Jobe has shown that a certain three-valued proper logic is canonically complete, i.e., each first order J is expressible by a formula that is in M-normal form. The first order operator Jk(p)1 represents the truth table of a possible formula which has the truth value k in the ith row and the truth value 1 in all other rows. “The M-normal form of a given formula is another formula which has the same truth table as the given formula but which contains no operation symbols other than those of conjunction, disjunction, and undefined unary operations, with no nonunary operation, i.e., conjunction or alternation, included in the scope of an operation which is unary, and no alternation included in the scope of a conjunction.” Here it is shown that it is possible to construct a canonically complete proper logic for each choice of M which contains, in addition to alternation and conjunction, exactly two unary operations. Moreover, it is further shown that at least two unary operations are necessary in order for such a logic to be canonically complete.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1968

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]Jobe, William H., Functional completeness and canonical forms in many-valued logics, this Journal, vol. 27 (1962), pp. 409422.Google Scholar
[2]Post, Emil L., Introduction to a general theory of elementary propositions, American Journal of mathematics, vol. 43 (1921), pp. 163185.CrossRefGoogle Scholar