13629 results in The Journal of Symbolic Logic
M. E. Szabo. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 4 / December 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 904-907
- Print publication:
- December 1982
-
- Article
- Export citation
Models of arithmetic and closed ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 4 / December 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 833-840
- Print publication:
- December 1982
-
- Article
- Export citation
Deux ou trois choses que je sais de Ln
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-658
- Print publication:
- September 1982
-
- Article
- Export citation
David Bostock. Logic and arithmetic. Volume 1. Natural numbers. The Clarendon Press, Oxford University Press, Oxford1974, x + 219 pp. - David Bostock. Logic and arithmetic. Volume 2. Rational and irrational numbers. The Clarendon Press, Oxford University Press, Oxford1979, ix + 307 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 708-713
- Print publication:
- September 1982
-
- Article
- Export citation
Expansions of models and turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 587-604
- Print publication:
- September 1982
-
- Article
- Export citation
On sets of relations definable by addition
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-668
- Print publication:
- September 1982
-
- Article
- Export citation
J. I. Zucker. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 (1978), pp. 517–535. - J. I. Zucker and R. S. Tragesser. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516. - Dag Prawitz. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, 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. 25–40. - Dag Prawitz. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 (1977), pp. 2–40. - M. A. E. Dummett. The justification of deduction. Proceedings of the British Academy, vol. 59 (for 1973, pub. 1975), pp. 201–232. - Michael Dummett. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, edited by H. E. Rose and J.C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 5–40. - Ian Hacking. Do-it-yourself semantics for classical sequent calculi, including ramified type theory. Logic, foundations of mathematics, and computahility theory, Part one of the proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western Ontario series in Philosophy of science, vol. 9, D. Reidel Publishing Company, Dordrecht and Boston1977, pp. 371–390. - Ian Hacking. What is logic?The journal of philosophy, vol. 76 (1979), pp. 285–319. - Göran Sundholm. Hacking's logic. The journal of philosophy, vol. 78 (1981), pp. 160–168. - Christopher Peacocke. Hacking on logic: two comments. The journal of philosophy, vol. 78 pp. 168–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-694
- Print publication:
- September 1982
-
- Article
- Export citation
Probabilities over rich languages, testing and randomness
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 495-548
- Print publication:
- September 1982
-
- Article
- Export citation
Didier Dubois and Henri Prade. Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering, vol. 144. Academic Press, New York etc. 1980, xvii + 393 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 702-703
- Print publication:
- September 1982
-
- Article
- Export citation
JSL volume 47 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1982
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-720
- Print publication:
- September 1982
-
- Article
- Export citation
Saturated models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-637
- Print publication:
- September 1982
-
- Article
- Export citation
Jens E. Fenstad. General recursion theory. An axiomatic approach. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, XI + 225 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-698
- Print publication:
- September 1982
-
- Article
- Export citation
Eugene M. Kleinberg. Infinitary combinatorics and the axiom of determinateness. Lecture notes in mathematics, vol. 612. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, vii + 150 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 698-701
- Print publication:
- September 1982
-
- Article
- Export citation
Some contributions to definability theory for languages with generalized quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 572-586
- Print publication:
- September 1982
-
- Article
- Export citation
Recursively saturated nonstandard models of arithmetic; addendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-494
- Print publication:
- September 1982
-
- Article
- Export citation
On the elementary theory of pairs of real closed fields. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-679
- Print publication:
- September 1982
-
- Article
- Export citation
On the nonexistence of certain normal forms in the logic of provability
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 638-640
- Print publication:
- September 1982
-
- Article
- Export citation
A normal form theorem for Lω1p, with applications
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-624
- Print publication:
- September 1982
-
- Article
- Export citation
Model companions of distributive p-algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 680-688
- Print publication:
- September 1982
-
- Article
- Export citation