13630 results in The Journal of Symbolic Logic
Meeting of the Association for Symbolic Logic, New York, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 427-434
- Print publication:
- June 1981
-
- Article
- Export citation
An axiomatic version of positive semilattice relevance logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-239
- Print publication:
- June 1981
-
- Article
- Export citation
Kathleen Levitz and Hilbert Levitz. Logic and Boolean algebra. Barron's Educational Series, Inc., Woodbury, N.Y., 1979, viii + 132 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
- Print publication:
- June 1981
-
- Article
- Export citation
Complexity bounds on proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-258
- Print publication:
- June 1981
-
- Article
- Export citation
JSL volume 46 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1981
-
- Article
-
- You have access
- Export citation
Algebraic independence
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-384
- Print publication:
- June 1981
-
- Article
- Export citation
Calculating self-referential statements: Guaspari sentences of the first kind
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-344
- Print publication:
- June 1981
-
- Article
- Export citation
Canonization theorems and applications
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-353
- Print publication:
- June 1981
-
- Article
- Export citation
E. J. Lemmon. Beginning logic. Edited by George W. D. Berry. A revised reprint of XL 287(16). Hackett Publishing Company, Indianapolis1978, x + 225 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-423
- Print publication:
- June 1981
-
- Article
- Export citation
Countable functionals and the projective hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-215
- Print publication:
- June 1981
-
- Article
- Export citation
The decidability of normal K5 logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-328
- Print publication:
- June 1981
-
- Article
- Export citation
Azriel Levy. Basic set theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, XIV + 391 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-419
- Print publication:
- June 1981
-
- Article
- Export citation
On the Gödel class with identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-364
- Print publication:
- June 1981
-
- Article
- Export citation
Recursively saturated nonstandard models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-286
- Print publication:
- June 1981
-
- Article
- Export citation
Patterns of projecta1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-295
- Print publication:
- June 1981
-
- Article
- Export citation
JSL volume 46 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1981
-
- Article
-
- You have access
- Export citation
Measurability and degrees of strong compactness1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-254
- Print publication:
- June 1981
-
- Article
- Export citation
On a condition for Cohen extensions which preserve precipitous ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-300
- Print publication:
- June 1981
-
- Article
- Export citation
Lauri Karttunen and Stanley Peters. Conventional implicature. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 1–56. - Gerald Gazdar. A solution to the projection problem. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 57–89. - Janet Dean Fodor. In defense of the truth value gap. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 199–224. - Ruth M. Kempson. Presupposition, opacity, and ambiguity. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 283–297. - S. K. Thomason. Truth-value gaps, many truth values, and possible worlds. Syntax and semantics, Volume 11, Presupposition, edited by Choon-Kyu Oh and David A. Dinneen, Academic Press, New York, San Francisco, and London, 1979, pp. 357–369.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-415
- Print publication:
- June 1981
-
- Article
- Export citation
A new inner model for ZFC
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-396
- Print publication:
- June 1981
-
- Article
- Export citation