13629 results in The Journal of Symbolic Logic
Simon Kochen and E. P. Specker. Logical structures arising in quantum theory. A reprint of XL 507(21). The logieo-algebraic approach to quantum mechanics, Volume I, Historicale evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 263–276. - Simon Kochen and E. P. Specker. The calculus of partial propositional functions. A reprint of XL 508(20). The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 277–292. - P.D. Finch. On the structure of quantum logic. The logieo-algebraic approach to quantum mechanics, Volume I, Historical evolution, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht and Boston1975, pp. 415–425. (Reprinted from The journal of symbolic logic, vol. 34 (1969), pp. 275–282.) - Stanley P. Gudder. Partial algebraic structures associated with orthomodular posets. Pacific journal of mathematics, vol. 41 (1972), pp. 717–730. - Janusz Czelakowski. Logics based on partial Boolean σ-algebras (1). Studia logica, vol. 33 (1974), pp. 371–396. - Gary M. Hardegree and Patricia J. Frazer. Charting the labyrinth of quantum logics: a progress report. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 53–76. - Janusz Czelakowski. Partial referential matrices for quantum logics. Current issues in quantum logic, edited by Enrico G. Beltrametti and Bas C. van Fraassen, Ettore Majorana international science series, physical sciences, vol. 8, Plenum Press, New York and London1981, pp. 131–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 558-566
- Print publication:
- June 1985
-
- Article
- Export citation
Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-338
- Print publication:
- June 1985
-
- Article
- Export citation
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-422
- Print publication:
- June 1985
-
- Article
- Export citation
JSL volume 50 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1985
-
- Article
-
- You have access
- Export citation
Cuts, consistency statements and interpretations
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-441
- Print publication:
- June 1985
-
- Article
- Export citation
David Harel. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 (1980), pp. 61–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-553
- Print publication:
- June 1985
-
- Article
- Export citation
The consistency of some 4-stratified subsystem of NF including NF3
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-411
- Print publication:
- June 1985
-
- Article
- Export citation
George Boolos. The iterative conception of set. The journal of philosophy, vol. 68 (1971), pp. 215–231. - Dana Scott. Axiomatizing set theory. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 207–214. - W. N. Reinhardt. Remarks on reflection principles, large cardinals, and elementary embeddings. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 189–205. - W. N. Reinhardt. Set existence principles of Shoenfield, Ackermann, and Powell. Fundament a mathematicae, vol. 84 (1974), pp. 5–34. - Hao Wang. Large sets. 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. 309–333. - Charles Parsons. What is the iterative conception of set?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. 335–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 544-547
- Print publication:
- June 1985
-
- Article
- Export citation
Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 660–696.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-549
- Print publication:
- June 1985
-
- Article
- Export citation
Propositional logic based on the dynamics of belief
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-394
- Print publication:
- June 1985
-
- Article
- Export citation
On the structure of Ext(A,Z) in ZFC+
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-315
- Print publication:
- June 1985
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-568
- Print publication:
- June 1985
-
- Article
- Export citation
A note on interpretations of many-sorted theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-374
- Print publication:
- June 1985
-
- Article
- Export citation
Carl G. JockuschJr., and David B. Posner. Double jumps of minimal degrees. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 715–724. - Carl G. JockuschJr., and David B. Posner. Automorphism bases for degrees of unsotvability. Israel journal of mathematics, vol. 40 (1981), pp. 150–164. - Richard L. Epstein. Initial segments of degrees below 0′. Memoirs of the American Mathematical Society, no. 241. American Mathematical Society, Providence1981, vi + 102 pp. - Richard A. Shore. The theory of the degrees below 0′. The journal of the London Mathematical Society, ser. 2 vol. 24 (1981), pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 550-552
- Print publication:
- June 1985
-
- Article
- Export citation
Decidable regularly closed fields of algebraic numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-475
- Print publication:
- June 1985
-
- Article
- Export citation
Martin Ziegler. Einige unentscheidbare Körpertheorien. Logic and algorithmic, An international symposium held in honour of Ernst Specker, Monographic no. 30, L'Enseignement Mathématique, Université de Genève, Geneva1982, pp. 381–392. (Reprinted in L'enseignement mathématique, ser. 2 vol. 28 (1982), pp. 269–280.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 552
- Print publication:
- June 1985
-
- Article
- Export citation
Rudy Rucker. Infinity and the mind. The science and philosophy of the infinite. Birkhäuser, Boston, Basel, and Stuttgart, 1982, x + 342 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
- Print publication:
- March 1985
-
- Article
- Export citation
Co-critical points of elementary embeddings
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-226
- Print publication:
- March 1985
-
- Article
- Export citation
Kit Fine. The logics containing S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 371–376. - Kit Fine. An ascending chain of S4 logics. Theoria, vol. 40 (1974), pp. 110–116. - Kit Fine. Logics containing K4. Part I. The journal of symbolic logic, vol. 39 (1974), pp. 31–42. - L. Esakia and V. Meskhi. Five critical modal systems. Theoria, vol. 43 (1977), pp. 52–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-234
- Print publication:
- March 1985
-
- Article
- Export citation
JSL volume 50 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1985
-
- Article
-
- You have access
- Export citation