Provided by: formed_3.3f-1.1_amd64 bug

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                               FORMED(1)