Skip to main content
×
×
Home

Meeting of the Association for Symbolic Logic, Chicago 1975

  • John Baldwin, D. A. Martin, Robert I. Soare and W. W. Tait
Copyright
References
Hide All
[1] Benioff, Paul, Journal of Mathematical Physics (submitted).
[2] Ekstein, H., Physics Review, vol. 153 (1967), p. 1937; vol. 184 (1969), p. 1315.
[3] Benioff, Paul, Physics Review, vol. D7 (1973), p. 3603.
[4] Solovay, Robert, Annals of Mathematics, vol. 92 (1970), p. 1.
[5] Löf, Per Martin, Information and Control, vol. 9 (1966); p. 602; Proceedings Symposium on Proof Theory and Intuitionism , Buffalo, N.Y., 1968.
[1] Kalish, D. and Montague, R., Logic: Techniques of formal reasoning, Harcourt, Brace & World, New York, 1964.
[1] Moschovakis, Y. N., Abstract first order computability. I, Transactions of the American Mathematical Society, vol. 138 (1969), pp. 427464.
Frink, O., Pseudo-complements in semi-lattices, Duke Mathematical Journal, vol. 29 (1962).
Chen, C. C. and Grätzer, G., Stone lattices. I–II, Canadian Journal of Mathematics (1969).
Katrinak, Tibor, Die Kennzeichnung der distributiven pseudokomplementären Halbverbände, Journal für Mathematik, Band 241 (1970).
Rasiowa, H., Algebraic treatment of the functional calculi of Heyting and Lewis, Fundament a Mathematlcae, vol. 38 (1951).
Rasiowa, H. and Sikorski, R., On existential theorems in non-classical functional calculi, Fundamenta Mathematlcae, vol. 41 (1954).
Varlet, J. C., Modularity and distributivity in partially ordered groupoids, Bulletin de la Société Royale des Sciences de Liège, 38e année, 1969.
[1] Feferman, S., Systems of predicative analysis, this Journal, vol. 29 (1964), pp. 130.
[2] Feferman, S., Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis, Intuitionism and proof theory (Myhill, , Kino, , and Vesley, , Editors), North-Holland, Amsterdam, 1970, pp. 303326.
[3] Friedman, H., Some systems of second order arithmetic and their use, Proceedings of the International Congress of Mathematicians (Vancouver, 1974), vol. 1, Canadian Mathematical Congress, 1975.
[4] Friedman, H., The analysis of mathematical texts, and their calibration in terms of intrinsic strength. I-IV, informal notes, SUNY at Buffalo, 1975.
[5] Friedman, H., Iterated inductive definitions and Σ1 2-AC, Intuitionism and proof theory (Myhill, , Kino, and Vesley, , Editors), North-Holland, Amsterdam, 1970.
[1] Urquhart, A., Semantics for relevance logics, this Journal, vol. 37 (1972), pp. 159169.
[1] Urquhart, A., Semantics for relevance logics, this Journal, vol. 37 (1972), pp. 159169.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed