Foundations of Temporal Logic – The WWW-site for Prior-studies
a joint project between
Department of Information Studies – University of Copenhagen
and
Department of Communication and Psychology – Aalborg University

 

www.priorstudies.org

 

Box 16 (Laraiche-Meredith)


 
1) Laraiche, L., Untersuchung zur axiomatischen Grundlegung der Bewegungslehre, Dissertation , ca.1962. 94 p.
2) Leblanc, Hugues, Proof Routines for the Propositional Calculus, MS. Published in Notre Dame J. Formal Logic, 1963
3) Leblanc, Hugues & Thomason, R.H., Completeness Theorems For Some Presupposition-free Logics, MS, 3 p. Unpublished.
4) Lejewski, C., Popper’s Theory of Formal or Deductive Inference, MS, 30 p. Published in Schilpp’s Popper volume.
5) Lejewski, C., The Problem of Ontological Commitment. MS. 21 p. Unpublished.
6) Lejewski, C., Quantification and Ontological Commitment. MS. 21 p. 1965 or later. Unpublished.
7) Leonard, H.S., Notes for Definitions, Postulates and Modal Logic. MS.4 p. Unpublished.
8) The Logic of Questions and Answers (based on Mary and Arthur Prior: "Erotetic Logic"), 10 p., Unpublished.
[Handwritten remark: With Compliments. JM.]
9) McCabe, Herbert, The Immortality of the Soul: The Traditional Argument, 9 p.. Unpublished.
10) McCall, Storrs, Review of ‘Fate, Logic, and Time’ by Steven M. Cahn, 8 p.. Published in J. Phil. 1968.
11) McCall, Storrs, The Cardinality of Possible Futures. MS. 1 p.. Unpublished.
12) McCall, Storrs, The Completeness of Boolean Algebra.MS 15 p.. Published in Z. Math. Log. 1967
13) McCall, Storrs, Contrariety. MS 15 p.. Published in NDJFL 1967.
14) McCall, Storrs, Notes Toward a Non-classical Theory of Truth. MS 22 p.. Published in APQ 1970.
15) McCall, Storrs, Polish Logic 1920-1939. Oxford 1967.
16) McCall, Storrs & Nat, Arnold Vander, The System S9. MS. 29 p. Unpublished.
17) McCall, Storrs,Time and the Physical Modalities. MS 22 p.. Published in Monist July 1969.
18) MacKay, D.M., What makes a Question? MS 7 p.
19) Mackie, J.L., Counterfactuals and Causation, MS 20 p. Unpublished.
20) Mackie, J.L., The Direction of Causation, MS 2 p. Unpublished.
21) Mackie, J.L., A Philosophy of Education, Lecture Notes. Unpublished.
22) Mackie, J.L., Prior and the Liar. MS. 4 p. Unpublished.
23) Mackie, J.L., The Problem of Consciousness. MS. 3 p. Unpublished.
24) Martin, R.L., An Extension of Predicate Logic. MS. 19 p. Unpublished.
25) Massey, Gerald J., Part Three. Modal Logic. pp. 192-262. MS.
26) Massey, Gerald J., Sheffer Functions for Many-valued S5 Modal Logics. MS. Published in Z. Math. Log.1969.
27) Mates, Benson, Leibniz on Possible Worlds. MS. Published in Van Rotselaar & Staal, Logic, Methodology and the Philosophy of Science III.
28) Menger, Karl, Function Algebra and Propositional Calculus. MS 9 p.
29) Meredith, C.A. & others, Equational and Modal Logic. MS
30) Meredith, C.A., Note on my Modal System (C, capital gamma, O, n, delta, p). MS. 3 p. Annotated by Prior.
31) Meredith, C.A., Terminal Functors Permissible with Syllogism. MS. 1 p.
32) Meredith, C.A., Contributions to the Investigation of Pure Strict Implication, University of Canterbury, 1956. Annotated by Prior.
32) Meredith, David, The System RCV, Electronic Data Processing 1966. Radio corporation of America.

   
Updated December 23, 2017