Man Linux: Main Page and Category List

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