WEAK : FLAVOR

WEAK is a flavor.
A weak label stands for another wff, but dissolves under most
operations like substitution etc.

TPS documentation homepage


WEAK : TPS-FILE

WEAK is a file.
Defines the WEAK label for wffs.
/home/theorem/tps/bin/weak.fasl is part of module WEAK-LABEL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage