The translation of formal proofs into English
作者：
Highlights：
•
摘要
The argument of a logical proof written up in English can be represented by a formal proof in symbolic logic; this formal proof can also be taken to represent the deep structure of the written proof. This paper describes a program which generates a written proof from such a representation.
论文关键词：
论文评审过程：Available online 21 February 2003.
论文官网地址：https://doi.org/10.1016/0004-3702(76)90007-2
