Peter Aczel (aczel)
Cité.e dans les articles suivants
How to Adopt a LogicContributions à Philosophie.ch
No contributions yet
Bibliography
Aczel, Peter. 1975. “Quantifiers, Games and Inductive Definitions.” in Proceedings of the 3rd Scandinavian Logic Symposion, edited by Stig Kanger, pp. 1–14. Studies in Logic and the Foundations of Mathematics n. 82. Amsterdam: North-Holland Publishing Co.
Aczel, Peter. 1977. “An Introduction to Inductive Definitions.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 739–782. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Aczel, Peter. 1978. “The Type Theoretic Interpretation of Constructive Set Theory.” in Logic Colloquium ’77, edited by Angus J. MacIntyre, Leszek Pacholski, and Jeffrey Bruce Paris, pp. 55–66. Studies in Logic and the Foundations of Mathematics n. 96. Amsterdam: North-Holland Publishing Co.
Aczel, Peter. 1980. “Frege Structures and the Notion of Proposition, Truth and Set.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 31–59. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Aczel, Peter. 1982. “The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 1–40. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Aczel, Peter. 1986. “The Type-Theoretic Interpretation of Constructive Set Theory: Inductive Definitions.” in Logic, Methodology, and Philosophy of Science VII: Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983, edited by Ruth Barcan Marcus, Georg J. W. Dorn, and Paul Weingartner, pp. 17–49. Studies in Logic and the Foundations of Mathematics n. 114. Amsterdam: North-Holland Publishing Co.
Aczel, Peter. 1988. “Algebraic Semantics for Intensional Logics, I.” in Properties, Types and Meaning I. Foundational Issues, edited by Gennaro Chierchia, Barbara Hall Partee, and Raymond Turner, pp. 17–46. Studies in Linguistics and Philosophy n. 38. Dordrecht: Kluwer Academic Publishers.
Aczel, Peter. 1994. “Schematic Consequence.” in What is a Logical System?, edited by Dov M. Gabbay, pp. 261–272. Oxford: Oxford University Press.
Aczel, Peter. 1996. “Generalised Set Theory.” in Logic, Language and Computation .Volume 1, edited by Jerry Seligman and Dag Westerståhl, pp. 1–16. CSLI Lecture Notes n. 58. Stanford, California: CSLI Publications.
Aczel, Peter. 2009. “A Constructive Version of the Lusin Separation Theorem.” in Logicism, Intuitionism, and Formalism. What Has Become of Them?, edited by Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, pp. 129–152. Synthese Library n. 341. Dordrecht: Springer.
Aczel, Peter. 2011. “Equalisers of Frames in Constructive Set Theory.” in Logic, Mathematics, Philosophy: Vintage Enthusiasms. Essays in Honour of John L. Bell, edited by David DeVidi, Michael Hallett, and Peter Clark, pp. 221–228. The University of Western Ontario Series in Philosophy of Science n. 75. Dordrecht: Springer.
Aczel, Peter and Feferman, Solomon. 1980. “Consistency of the Unrestricted Abstraction Principle using an Intensional Equivalence Operator.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 67–98. New York: Academic Press.