13629 results in The Journal of Symbolic Logic
An axiomatization for a class of two-cardinal models
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-178
- Print publication:
- June 1977
-
- Article
- Export citation
G. Spencer Brown. Laws of form. The Julian Press, New York1972, xxvi + 141 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-318
- Print publication:
- June 1977
-
- Article
- Export citation
On deciding the provability of certain fixed point statements
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-193
- Print publication:
- June 1977
-
- Article
- Export citation
Jaakko Hintikka. Surface semantics: definition and its motivation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 128–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 315
- Print publication:
- June 1977
-
- Article
- Export citation
Richard Routley and Robert K. Meyer. The semantics of entailment. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 199–243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-316
- Print publication:
- June 1977
-
- Article
- Export citation
Baruch A. Brody. Logic, theoretical and applied. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973, viii + 280 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
- Print publication:
- June 1977
-
- Article
- Export citation
On splitting stationary subsets of large cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-214
- Print publication:
- June 1977
-
- Article
- Export citation
Alfred B. Manaster. Completeness, compactness, and undecidability: An introduction to mathematical logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1975, vi + 154 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 320
- Print publication:
- June 1977
-
- Article
- Export citation
Definability in well quasi-ordered sets of structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-291
- Print publication:
- June 1977
-
- Article
- Export citation
Minimal models
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-260
- Print publication:
- June 1977
-
- Article
- Export citation
Diderik Batens. Studies in the logic of induction and in the logic of explanation, containing a new theory of meaning relations. Rijksuniversiteit te Gent, Werken uitgegeven door de faculteit van de letteren en wijsbegeerte, no. 161. “De Tempel,”Bruges1975, 310 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
- Print publication:
- June 1977
-
- Article
- Export citation
A model theoretic approach to Malcev conditions
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-288
- Print publication:
- June 1977
-
- Article
- Export citation
Chang's conjecture and powers of singular cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-276
- Print publication:
- June 1977
-
- Article
- Export citation
Robert K. Meyer. Intuitionism, entailment, negation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 168–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 315
- Print publication:
- June 1977
-
- Article
- Export citation
Hugues Leblanc. Semantic deviations. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 1–16. - Hugues Leblanc and George Weaver. Truth-functionality and the ramified theory of types. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 148–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 313
- Print publication:
- June 1977
-
- Article
- Export citation
Richmond H. Thomason. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 294–307.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 317
- Print publication:
- June 1977
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. Belnap Jr. Entailment. The logic of relevance and necessity. Volume I. Princeton University Press, Princeton and London1976 (© 1975), xxxii + 542 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-313
- Print publication:
- June 1977
-
- Article
- Export citation
Craig interpolation theorem for intuitionistic logic and extensions Part III
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-271
- Print publication:
- June 1977
-
- Article
- Export citation
A new version of Beth semantics for intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-308
- Print publication:
- June 1977
-
- Article
- Export citation
JSL volume 42 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1977
-
- Article
-
- You have access
- Export citation