Research Article
Pragmatic truth and approximation to truth1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-221
-
- Article
- Export citation
Saturation of homogeneous resplendent models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
-
- Article
- Export citation
Reviews
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-227
-
- Article
- Export citation
J. A. Robinson. Logic: form and function. The mechanization of deductive reasoning. Artificial intelligence series. North-Holland, New York1979, vi + 312 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-229
-
- Article
- Export citation
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 (1978), pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3 (for 1977, pub. 1978), pp. 400–418. - J. Remmel. On r.e. and co-r.e. vector spaces with nonextendible bases. The journal of symbolic logic, vol. 45 (1980), pp. 20–34. - M. Lerman and J. B. Remmel. The universal splitting property: I. Logic Colloquim '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 181–207. - J. B. Remmel. Recursively enumerable Boolean algebras. Annals of mathematical logic, vol. 15 (1978), pp. 75–107. - J. B. Remmel. r-Maximal Boolean algebras. The journal of symbolic logic, vol. 44 (1979), pp. 533–548. - J. B. Remmel. Recursion theory on algebraic structures with independent sets. Annals of mathematical logic, vol. 18 (1980), pp. 153–191. - G. Metakides and J. B. Remmel. Recursion theory on orderings. I. A model theoretic setting. The journal of symbolic logic, vol. 44 (1979), pp. 383–402. - J. B. Remmel. Recursion theory on orderings. II. The journal of symbolic logic, vol. 45 (1980), pp. 317–333.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-232
-
- Article
- Export citation
David W. Kueker. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211–215. - K. Jon Barwise. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 (1974), pp. 95–103. - David W. Kueker. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 (1977), pp. 57–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-234
-
- Article
- Export citation
Saharon Shelah. There are just four second-order quantifiers. Israel journal of mathematics, vol. 15 (1973), pp. 282–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
Daniel Lascar and Bruno Poizat. An introduction to forking. The journal of symbolic logic, vol. 44 (1979), pp. 330–350.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-235
-
- Article
- Export citation
S. V. Bredikhin, Yu. L. Ershov, and V. E. Kal'nei. Fields with two linear orderings. Mathematical notes of the Academy of Sciences of the USSR, vol. 7(1970), pp. 319–325. (English translation of Polá s dvumá linéjnymi porádkami, Matèmatčéskié zamétki, vol. 7 (1970), pp. 525–536.) - Moshe Jarden. The elementary theory of large e-fold ordered fields. Acta mathematica, vol. 149 (1982), pp. 239–260. - Alexander Prestel. Pseudo real closed fields. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by R. B. Jensen and A. Prestel, Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 127–156. - Moshe Jarden. On the model companion of the theory of e-fold ordered fields. Acta mathematica, vol. 150(1983), pp. 243–253. - Alexander Prestel. Decidable theories of preordered fields. Mathematische Annalen, vol. 258 (1982), pp. 481–492. - Ju. L. Eršov. Regularly r-closed fields. Soviet mathematics—Doklady, vol. 26 (for 1982, pub. 1983), pp. 363–366. (English translation by E. Mendelson of Régulárno r-zamknutyé polá, Doklady Akadémii Nauk SSSR, vol. 226 (1982), pp. 538-540.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-237
-
- Article
- Export citation
Noam Chomsky. Lectures on government and binding. The Pisa lectures. Studies in generative grammar, no. 9. Foris Publications, Dordrecht and Cinnaminson, N.J., 1981, ix + 371 pp. - Noam Chomsky. Lectures on government and binding. The Pisa lectures. Second edition of the preceding. Studies in generative grammar, no. 9. Foris Publications, Dordrecht and Cinnaminson, N.J., 1982, ix + 371 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-240
-
- Article
- Export citation
Esa Saarinen. Introduction. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. vii–xii. - Jaakko Hintikka. Language-games. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 1–26. (Reprinted with minor changes and added appendix from Acta philosophica Fennica, vol. 28 no. 1-3 (1976), Essays on Wittgenstein in honour of G. H. von Wright, pp. 105-125.) - Jaakko Hintikka. Quantifiers in logic and quantifiers in natural languages. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 27–47. (Reprinted from Philosophy of logic, edited by Stephan Körner, Basil Blackwell, Oxford, and University of California Press, Berkeley and Los Angeles, 1976, pp. 208-232.) - Jaakko Hintikka. Quantifiers vs. quantification theory. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–79. (Reprinted from Dialectica, vol. 27 no. 3-4 (for 1973, publ. 1974), pp. 329-358; also in Linguistic inquiry, vol. 5 (1974), pp. 153-177.) - Jaakko Hintikka. Quantifiers in natural languages: some logical problems. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 81–117. (Sections 1–9 reprinted from Essays on mathematical and philosophical logic. Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976, edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 295-314; sections 10-19 reprinted from Linguistics and philosophy, vol. 1 (1977), pp. 153-172.) - Christopher Peacocke. Game-theoretic semantics, quantifiers and truth: comments on Professor Hintikka's paper. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 119–134. - Jaakko Hintikka. Rejoinder to Peacocke. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 135–151. - Jaakko Hintikka and Esa Saarinen. Semantical games and the Bach–Peters paradox. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 153–178. (Reprinted from Theoretical linguistics, vol. 2 (1975), pp. 1-20.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-244
-
- Article
- Export citation
Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-246
-
- Article
- Export citation
Edward N. Zalta. Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, xiii + 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-248
-
- Article
- Export citation
Karel Lambert. Meinong and the principle of independence. Its place in Meinong's theory of objects and its significance in contemporary philosophical logic. Modern European philosophy. Cambridge University Press, Cambridge etc. 1983, xvi + 175 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-252
-
- Article
- Export citation
Donald Nute. Essential formal semantics. Rowman and Littlefield, Totowa, N.J., 1981, xiii + 186 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation
V. A. Uspensky. Post's machine. English translation by R. Alavina of Mašina Posta. Little mathematics library. Mir Publishers, Moscow, also distributed by Imported Publications, Chicago, 1983, 88 pp. - Emil L. Post. Finite combinatory processes—formulation 1. A reprint of II 43. Therein, pp. 84–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
Front matter
JSL volume 51 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 51 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation