13629 results in The Journal of Symbolic Logic
On finite lattices of degrees of constructibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-371
- Print publication:
- September 1977
-
- Article
- Export citation
E. J. Neuhold. Formal properties of data bases. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 119–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
- Print publication:
- September 1977
-
- Article
- Export citation
M. S. Paterson. Complexity of matrix algorithms. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 179–215.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
- Print publication:
- September 1977
-
- Article
- Export citation
Robert Baum. Logic. Holt, Rinehart and Winston, Inc., New York, etc., 1975, xii + 516 pp. - David T. Wieck. Quantificational logic. Therein, pp. 238–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-425
- Print publication:
- September 1977
-
- Article
- Export citation
Some models for intuitionistic finite type arithmetic with fan functional
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-202
- Print publication:
- June 1977
-
- Article
- Export citation
Sheaves and normal submodels
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-250
- Print publication:
- June 1977
-
- Article
- Export citation
Strict-Π11 predicates on countable and cofinality ω transitive sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-173
- Print publication:
- June 1977
-
- Article
- Export citation
Dana S. Scott. Background to formalization. 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. 244–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 316
- Print publication:
- June 1977
-
- Article
- Export citation
Fragments of first order logic, I: universal Horn logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-237
- Print publication:
- June 1977
-
- Article
- Export citation
Raymond M. Smullyan. A generalization of intuitionistic and modal logics. 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. 274–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 316-317
- Print publication:
- June 1977
-
- Article
- Export citation
Leon Henkin. Internal semantics and algebraic logic. 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. 111–127.
-
- 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
The use of Kripke's schema as a reduction principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-240
- Print publication:
- June 1977
-
- Article
- Export citation
J. Michael Dunn. A truth value semantics for modal logic. 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. 87–100.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
- Print publication:
- June 1977
-
- Article
- Export citation
JSL volume 42 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1977
-
- Article
-
- You have access
- Export citation
The consistency problem for NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-220
- Print publication:
- June 1977
-
- Article
- Export citation
Definability of measures and ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-190
- Print publication:
- June 1977
-
- Article
- Export citation
On Moschovakis closure ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-296
- Print publication:
- June 1977
-
- Article
- Export citation
Theories with models of prescribed cardinalities1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-253
- Print publication:
- June 1977
-
- Article
- Export citation
Nuel D. Belnap Jr. Restricted quantification and conditional assertion. 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. 48–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
- Print publication:
- June 1977
-
- Article
- Export citation
Nuel D. BelnapJr., and Dorothy L. Grover. Quantifying in and out of' quotes. 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. 17–47. - Dorothy L. Grover. Propositional quantification and quotation contexts. 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. 101–110.
-
- 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