NAME
formed - formula editor for first-order logic formulas
SYNOPSIS
formed [options]
DESCRIPTION
This manual page documents briefly the formed command.
formed is a window-based program for constructing, displaying, and
managing first-order logic formulas. The main motivation for
constructing formed was the desire to have formulas displayed in a
readable, two-dimensional format. Users of formed can 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. formed was written by
using the X Window System, Version 11, and code from the theorem prover
otter.
OPTIONS
A summary of options is included below.
-l filename
Load formulas in the specified file during startup. Formulas can
also be loaded after startup with the button Load in the main
menu.
-f color
Use the named color for the foreground on color monitors
(ignored on black-and-white monitors).
-b color
Use the named color for the background on color monitors
(ignored on black-and-white monitors).
SEE ALSO
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
AUTHOR
formed ws 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