18 results
Remarks on the Church-Rosser Property
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-112
- Print publication:
- March 1990
-
- Article
- Export citation
Circumscription within monotonic inferences
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-904
- Print publication:
- September 1988
-
- Article
- Export citation
Jon Barwise and Kenneth Kunen. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 (1971), pp. 306–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 315
- Print publication:
- March 1984
-
- Article
- Export citation
Andrzej Grzegorczyk. An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej. Synthese library, vol. 70. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1974, X + 596 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-222
- Print publication:
- March 1983
-
- Article
- Export citation
Equivalence between semantics for intuitionism. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 773-780
- Print publication:
- December 1981
-
- Article
- Export citation
On the interpolation theorem for the logic of constant domains
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1981
-
- Article
- Export citation
W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
- Print publication:
- December 1975
-
- Article
- Export citation
Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 (for 1970, pub. 1971), pp. 535–555.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
- Print publication:
- June 1975
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Atlanta 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-405
- Print publication:
- June 1974
-
- Article
- Export citation
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 423–468.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- June 1974
-
- Article
- Export citation
H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
- Print publication:
- September 1973
-
- Article
- Export citation
G. V. Čudnovskiǐ. Some results in the theory of infinitely long expressions. English translation of XXXVII 215 by E. Mendelson. Soviet mathematics, vol. 9 no. 2 (1968), pp. 556–559.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 202-203
- Print publication:
- March 1972
-
- Article
- Export citation
Erwin Engeler. Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 213–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 685
- Print publication:
- December 1971
-
- Article
- Export citation
Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 (1969), pp. 226–252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
- Print publication:
- March 1971
-
- Article
- Export citation
Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 (1969), pp. 219–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
- Print publication:
- March 1971
-
- Article
- Export citation
Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 (1968), pp. 446–451.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- June 1970
-
- Article
- Export citation
Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Remarks on an infinitary language with constructive formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-318
- Print publication:
- 09 October 1967
-
- Article
- Export citation