A COMPUTER IMPLEMENTATION OF THE TRANSFORMATIONS OF FORMULAS INTO PRENEX NORMAL FORM

Provenza, Clinton E. (1974) A COMPUTER IMPLEMENTATION OF THE TRANSFORMATIONS OF FORMULAS INTO PRENEX NORMAL FORM. Technical Report CS74010-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS74010-R.pdf (706114)

Abstract

The purpose of this paper is to explain a computerized process whereby any well-formed formula (wff) of first order predicate calculus can be moved to its prenex normal form (PNF). The main features of the program demonstrate some of the interesting capabilities of the WATFIV compiler in utilizing Markov Algorithms.

Item Type:	Departmental Technical Report
Subjects:	Computer Science > Historical Collection(Till Dec 2001)
ID Code:	764
Deposited By:	Administrator, Eprints
Deposited On:	17 April 2006