Vaughan R. Pratt (pratt-vr)

My contributions to Philosophie.ch

Bibliography

Pratt, Vaughan R. 1979. “Models of Program Logics.” in IEEE Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science, pp. 115–122. New York: IEEE Computer Science Press.
Pratt, Vaughan R. 1980. “A Near-Optimal Method for Reasoning about Action.” Journal of Computer and System Sciences 20: 231–254.
Pratt, Vaughan R. 1982a. “On the Composition of Processes.” in Proceedings of the Ninth ACM Symposium on Principles of Programming Languages, pp. 213–223. New York: The ACM Press.
Pratt, Vaughan R. 1982b. “Dynamic Logic.” in Logic, Methodology, and Philosophy of Science VI: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979, edited by Laurence Jonathan Cohen, Jerzy Łoś, Helmut Pfeiffer, and Klaus-Peter Podewski, pp. 251–262. Studies in Logic and the Foundations of Mathematics n. 104. Amsterdam: North-Holland Publishing Co.
Pratt, Vaughan R. 1985. “Modelling Concurrency with Partial Orders.” International Journal of Parallel Programming 15(1): 33–71.
Pratt, Vaughan R. 1990. “Dynamic Algebras: Examples, Constructions, Applications.” Studia Logica: An International Journal for Symbolic Logic 49: 571–605.
Pratt, Vaughan R. 1992. “The Duality of Time and Information.” Unpublished manuscript.
Pratt, Vaughan R. 1994a. “A Roadmap of Some Two-Dimensional Logics.” in Logic and Information Flow, edited by Jan van Eijck and Albert Visser, pp. 149–162. Cambridge, Massachusetts: The MIT Press.
Pratt, Vaughan R. 1994b. “Time and Information in Sequential and Concurrent Computation.” Unpublished manuscript.
Pratt, Vaughan R. 1999a. “Chu Spaces.” Notes for the School on Category Theory and Applications, University of Coimbra.
Pratt, Vaughan R. 1999b. “Chu spaces as a semantic bridge between linear logic and mathematics.” Unpublished manuscript.
Pratt, Vaughan R. 2007. “Algebra.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2007/entries/algebra/.
Pratt, Vaughan R. 2017. “Algebra.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2017/entries/algebra/.
Pratt, Vaughan R. 2022. “Algebra.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2022/entries/algebra/.