Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-14T07:37:43.050Z Has data issue: false hasContentIssue false
  • English
  • Français

Implication in Equational Logic

Published online by Cambridge University Press:  03 November 2016

H. O. Forder  and
J. A. Kalman
H. O. Forder
Affiliation:
University of Auckland, New Zealand
J. A. Kalman
Affiliation:
University of Auckland, New Zealand
Get access Rights & Permissions [Opens in a new window]

Extract

Some time ago Professor Prior circulated some typewritten notes due to Mr. C. A. Meredith on logical questions. These were written in the Polish notation and Professor Prior kindly translated those on equational logic into a symbolism more familiar to us. How much of the present paper was actually in those notes, it would now be impossible to say, but they introduced us to the subject and inspired this paper which, without them, would not have been written.

Type
Research Article
Information
The Mathematical Gazette , Volume 46 , Issue 356 , May 1962 , pp. 122 - 126
Copyright
Copyright © Mathematical Association 1962

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

page 123 note * J. A. Kalman, Equational completeness and families closed of sets under subtraction, Proc. Kon. Ned. Akad. van Wetensch. Ser. A63 (1960) 402-405.

page 123 note † References are arranged in the order in which they are used.

page 125 note * Cf. A. N. Prior, Formal Logic (Oxford, 1955), Part I, Chapter III.