formula)+(formulaformula)+(formulaformula))
Type
q == inr(inr(inr(inl( < p,q > ))))
p,q:Formula. pq Formula Type| Who Cites Formula? | |
| Formula | Def Formula == rec(formula.Var+formula+(formulaformula)+(formulaformula)+(formulaformula)) |
| Thm* Formula Type | |
| f_or | Def pq == inr(inr(inr(inl( < p,q > )))) |
| Thm* p,q:Formula. pq Formula | |
| Var | Def Var == Atom |
| Thm* Var Type |
About:
 |  |  |  |  |  |
 |  |  |  |
 |