A.N. Prior, C.A. Meredith, et al., "Equational & modal logic", Part 2: 'Meredith S5 with functor-variables' [mimeograph]

A.N. Prior, C.A. Meredith, et al., "Equational & modal logic", Part 2: 'Meredith S5 with functor-variables' [mimeograph]

A five-part booklet of logic material, compiled by Prior from his and notes by other authors, and mimeographed at the University of Canterbury Philosophy Department. It is marked as a donation from Prof. A.N. Prior to UC Library, made on 17 October 1958. This is the second part, entitled 'Meredith S5 with functor-variables', pp. 1–7. It contains the following sections: 'Explanatory notes' by A.N. Prior, 'The two systems (C, Γ, O, δ, p) and (C, Γ, O, n, δ, p)' and 'Note on my modal system (C, Γ, O, δ, p), 2 Feb. 1953, by C.A. Meredith.

Arthur N. Prior; C.A. Meredith

MB 2425/0014, ref 141596 (14)

Compiled and mimeographed in 1957, oldest material created in 1953

Copyright Macmillan Brown Library. Used with permission. All rights reserved.

AP009; AP009c, AP009d, AP009e

JPEG

en

AP009b

7 typed pages