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).