Linear Logic Proof Explorer |
< Previous
Next >
Nearby theorems |
|
Mirrors > Home > LLPE Home > Th. List > nov | Structured version |
Description: Operator application. |
Ref | Expression |
---|---|
na | nilad A |
nb | nilad B |
nf | nilad F |
Ref | Expression |
---|---|
nov | nilad (AFB) |
Colors of variables: wff var nilad |
Copyright terms: Public domain | W3C validator |