wtop - Linear Logic Proof Explorer

	Linear Logic Proof Explorer	< Previous Next > Nearby theorems
Mirrors > Home > LLPE Home > Th. List > wtop		Structured version

Syntax Definition wtop 29

Description: Top, the unit of &. In the resource interpretation, this represents an unknown collection of objects. Characterized by ax-top 31.

**Assertion**
Ref	Expression
wtop	wff ⊤

This syntax is primitive. The first axiom using it is ax-top 31.

Colors of variables: wff var nilad