FLAVOR : flavor

Weak Labels

• weak

Flavors of Labels

• meta

Vpforms

• conjunction
• disjunction
• existential
• jform
• literal
• universal

wff Primitives

• meta-bd
• meta-var

ETPS documentation homepage

TPS homepage