Hostname: page-component-745bb68f8f-f46jp Total loading time: 0 Render date: 2025-01-07T15:41:58.225Z Has data issue: false hasContentIssue false
  • English
  • Français

Two additions to positive implication

Published online by Cambridge University Press:  12 March 2014

A. N. Prior
A. N. Prior*
Affiliation:
Manchester University
Get access Rights & Permissions [Opens in a new window]

Extract

Let LIC be the implicational fragment of Dummett's LC, axiomatised by Bull in [1] by adding the axiom (L) CCCpqrCCCqprr to positive implication. The system which Bull in [2] calls OIC, i.e. positive implication plus (0) CCCCpqqrCCCpqrr, is contained in LIC (it is thesis 34 in [1], p. 193); but it does not contain it, as the following matrix (due to Bull)

verifies OIC but not (L) (CCC342CCC4322 = 2). Nor is (L) deducible in OIC supplemented by intuitionist axioms for negation, since the latter are all verified by the above matrix with Cp5 for Np.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 29 , Issue 1 , March 1964 , pp. 31 - 32
Copyright
Copyright © Association for Symbolic Logic 1964

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]Bull, R. A., The implicational fragment of Dummett's LC, this Journal, vol. 27 (1962), pp. 189–192.Google Scholar
[2]Bull, R. A., Some results for implicational calculi, this Journal, vol. 29 (1964), pp. 33–39.Google Scholar