nvar - Linear Logic Proof Explorer

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

Syntax Definition nvar 203

Description: A variable can be used as a nilad.

**Hypothesis**
Ref	Expression
vx	var x

**Assertion**
Ref	Expression
nvar	nilad x

This syntax is primitive. The first axiom using it is ax-int 208.

Colors of variables: wff var nilad