Jeffrey I. Zucker (zucker-ji)

Contributions to Philosophie.ch

Bibliography

Tucker, John V. and Zucker, Jeffrey I. 2000. “Computable Functions and Semicomputable Sets on Many-Sorted Algebras.” in Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 397–524. Oxford: Oxford University Press.
Tucker, John V. and Zucker, Jeffrey I. 2002. “Infinitary Initial Algebra Specifications for Stream Algebras.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 228–249. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Zucker, Jeffrey I. 1969. “Supplementary Comments to von Weizsäcker (1969).” in Proceedings of the Boston Colloquium for the Philosophy of Science 1966/1968, edited by Robert S. Cohen and Marx W. Wartofsky, pp. 474–474. Boston Studies in the Philosophy of Science n. 5. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-3378-7.
Zucker, Jeffrey I. 1978. “The Adequacy Problem for Classical Logic.” The Journal of Philosophical Logic 7(4): 517–535.
Zucker, Jeffrey I. n.d. “The Propositional \(\mu\)-calculus and its Use in Model Checking.” Unpublished manuscript.
Zucker, Jeffrey I. and Tragesser, Robert S. 1978. “The Adequacy Problem for Inferential Logic.” The Journal of Philosophical Logic 7(4): 501–516.

Further References

von Weizsäcker, Carl Friedrich. 1969. “The Unity of Physics.” in Proceedings of the Boston Colloquium for the Philosophy of Science 1966/1968, edited by Robert S. Cohen and Marx W. Wartofsky, pp. 460–473. Boston Studies in the Philosophy of Science n. 5. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-3378-7.