EnglishFrenchSpanish

Ad


OnWorks favicon

formed - Online in the Cloud

Run formed in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command formed that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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

Use formed online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

  • 1
    4g8
    4g8
    4g8 - Packet Capture and Interception
    for Switched Networks ...
    Run 4g8
  • 2
    4s-adminJ
    4s-adminJ
    4s-admin � 4store cluster management
    tool ...
    Run 4s-adminJ
  • 3
    cpipe
    cpipe
    cpipe - copy stdin to stdout while
    counting bytes and reporting progress ...
    Run cpipe
  • 4
    cplay
    cplay
    cplay - a front-end for various audio
    players ...
    Run cplay
  • 5
    g.ppmtopnggrass
    g.ppmtopnggrass
    g.ppmtopng - Converts between PPM/PGM
    and PNG image formats. KEYWORDS:
    general, display ...
    Run g.ppmtopnggrass
  • 6
    g.projgrass
    g.projgrass
    g.proj - Prints or modifies GRASS
    projection information files (in various
    co-ordinate system descriptions). Can
    also be used to create new GRASS
    locations. KE...
    Run g.projgrass
  • More »

Ad