Encyclopedias articles
-
Linear Logic
by Roberto Di Cosmo
and Dale
Miller. The Stanford Encyclopedia of
Philosophy, Edward N. Zalta (ed.).
Current
version dated 16 September 2023.
-
Three entries in
the Encyclopedia
of Proof Systems for expansion tree proofs and the LJF and LKF
focused proof systems.
-
Logic, Higher-order, by Dale Miller.
A short article for the
Encyclopedia of Artificial Intelligence: Second Edition,
edited by S. Shapiro, 1992.
(HTML,
pdf).
Blog posts
-
Personal Comments about Peter Andrews, The Proof Theory Blog,
17 June 2024 (pdf).
-
In Memoriam: Peter B. Andrews (November 1, 1937 – April 21, 2025), The Proof Theory Blog,
17 June 2024 (pdf).
-
Notation
for focused proof systems, The Proof Theory Blog,
17 October 2022 (pdf).
-
LK
vs LJ: An origin story for linear logic, The Proof
Theory Blog, 6 July 2022 (pdf).
Review articles
- Review
of Advances in Linear Logic, edited by Jean-Yves
Girard, Yves Lafont, Laurent Regnier. Journal of Symbolic
Logic, 62(2), 1997, pp. 678-680.
-
Review of "A computational logic" and "A computational logic handbook"
by Robert Boyer and J. Strother Moore.
Journal of Symbolic Logic, September 1990, pp. 1302-1304.
-
Review of "The Art of Prolog" by Leon Sterling and Ehud Shapiro.
Computing Reviews, 349 - 350, July 1987.
Glossy articles
Newsletters articles
-
Formalizing operational semantic specifications in logic, by
Dale Miller. Concurrency Column of the Bulletin of the EATCS, edited
by Luca Aceto. October 2008. (pdf).
-
Logic and Logic Programming: a personal account, by Dale Miller.
Prepared for the Newsletter
of the Association
for Logic Programming, November 2005
(pdf,
ps,
html).
Published in the February 2006 issue
(Vol. 19 n. 1).
-
A Survey of Linear Logic Programming, by Dale Miller.
Computational Logic: The Newsletter of the European Network in
Computational Logic, Volume 2, No. 2, December 1995, pp. 63 - 67.
(HTML,
PostScript,
pdf,
DVI).
-
Proof Theory as an Alternative to Model Theory, by Dale Miller.
A short article for the
Newsletter of the ALP (Association for Logic Programming), 4(3), August
1991. Available also here.
Technical reports and other articles
-
Proving the completeness of proof systems using LKF: some
examples, by Ivan Gazeau and Dale Miller.
Draft dated 12 May 2009.
-
An overview of a proof theoretical approach to reasoning about
computation, by Dale Miller. A short annotated bibliography.
Proceedings of LFMTP08,
edited by A. Abel and C. Urban.
(pdf, slides)
-
Logical Foundations for Open System Design: A position
paper, by Dale Miller, University of Pennsylvania. ACM
Computing Surveys 28(4es), December 1996, This article derives from a
position statement prepared for the Workshop on Strategic Directions
in Computing Research.
-
Proof Explanation and Revision, by Amy Felty and Dale Miller.
University of Pennsylvania, Technical
Report MS-CIS-88-17,
1987. (Postscript)
-
Proofs in Higher-Order Logic, by Dale Miller.
PhD Carnegie Mellon University, Department of Mathematics.
University of Pennsylvania technical report MS-CIS-83-37.
(pdf)