Man Linux: Main Page and Category List

formed - formula editor for first-order logic formulas

formed[options]

This manual page documents briefly theformedcommand.formedis a window-based program for constructing, displaying, and managing first-order logic formulas. The main motivation for constructingformedwas the desire to have formulas displayed in a readable, two-dimensional format. Users offormedcan make two kinds of transformation on formulas: (1) logic transformations, such as negation normal form translation, which preserve the meaning of a formula, and (2) edit transformations, which can be used to make arbitrary changes, such as adding a hypothesis to a subformula.formedwas written by using the X Window System, Version 11, and code from the theorem proverotter.

A summary of options is included below.-lfilenameLoad formulas in the specified file during startup. Formulas can also be loaded after startup with the buttonLoadin the main menu.-fcolorUse the named color for the foreground on color monitors (ignored on black-and-white monitors).-bcolorUse the named color for the background on color monitors (ignored on black-and-white monitors).

anldp(1),mace2(1),otter(1). ‘‘FormEd: An X Window System application for managing first-order formulas’’ (McCune et al.), available from http://www.osti.gov/energycitations/servlets/purl/6427100-WtOa4g/6427100.PDF

formedws written by William McCune <otter@mcs.anl.gov> This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others). November 5, 2006