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 17 (Montague-Prucnal)


 
1) Letter from Richard Montague to Dana Scott, June 1968. 22 p.
2) Montague, Richard, English as a Formal Language I, MS 44 p., 1968.
3) Montague, Richard, On the Nature of Certain Philosophical Entities, MS 55 p., Published in the Monist. Reference to Prior’s Past, Present and Future.
4) Montague, Richard, Pragmatics, MS 36 p., 1964. Published in ‘Contemporary Philosphy’ edited by Raymond Klibansky, Firenze 1968.
5) Montague, Richard, Pragmatics and Intentional Logic, MS 39 p.
6) Montgomery, H.A., The Principle of Contrariety, MS 22 p., May 1966
7) Montgomery, H.A. & Routley,R., Conventionalist and Contingency-Oriented Modal Logics, MS 38 p.
8) Montgomery, H.A. & Routley,R., Modal Reduction Axioms in Extensions of S1, MS 11 p. Published in Logique et Analyse.
9) Montgomery, H.A. & Routley, R: Non-Contingency Axioms for S4 and S5. MS, 3 p. Published in Logique et Analyse.
10) Montgomery, H.A. & Routley, R: No title. (First page missing). MS, 7 p.
11) Preprints of Logic papers in Polish by Tadeusz Prucnal. Published in Studia Logica.
12) Moore, O.K. & Berkowitz, M.I., Problem Solving and Social Interaction, Tech. Report No. 1, Yale University, New Haven, November, 1956. 34 p.
13) More, Trenchard, Relations Between Implicational Calculi, MIT, May 1962. Dissertation.
14) Muknik, A.A., Solution of Post’s Reduction Problem and of Certain Other Problems in the Theory of Algoritms, 1958. Translated from Russian. MS 28 p.
15) Nidditch,P.H., Is Natural Deduction Natural?, MS.. Published in P.Ass. 1969.
16) Ohnishi, M. & Matsumoto, K., A System for Strict Implication. MS, 9 p. Published in Japan 1962.
17) Preprints of logic papers in Polish by Bohuslav Peklo, W. A. Pogorzelski, Tadeusz Prunal .
18) Pennar, T., Section on Necessity and Contingency. MS. 16 p.
19) Pilkinghorne, Margaret, A Victorian Venture. MS. 12 p.. 1953.
20) Pogorzelski, W.A.: Some Remarks on the Concept of Completeness of the Propositional Calculus (summary). Offprint. 3 p. 1968.
21) Principles of Scientific Method, Notes on Lectures by K.R. Popper, University of Otago, May 1945. 22 p.
22) Porte, J., Les Machines a calculer automatiques, Paris 1961.
23) Porte, J., Seminaire de Calcul des Probabilites, Paris 1957. 13 p.
24) Potts, Timothy C., The Logical Delineation of Constructions following Phychological Verbs, University of Leeds. MS 64 p. [Interesting appendix on Tenses and Aspects, etc.]
25) Potts, Timothy C.,States, Activities and Performances. MS. Published in P. Ass. v.39, 1965.
26) Prucnal Slupecki, J, Bryll, G., Prucnal, T., Some Remarks on Three-Valued Logic of J. Lukasiewicz, Studia Logica XXI, 1967.

   
Updated December 23, 2017