proposition

Usage

``
$ node main.js ""
`

$3

`
::= ? "|-"
::= ("," )*
::= ("->" )*
::= ("+" )*
::= ("" )
::= [A-Z] | "(" ")"
`

$3

`
Primal:
1) (A->(B->A))
2) ((A->(B->C))->((A->B)->(A->C)))
Minimal:
3) ((A*B)->A)
4) ((A*B)->B)
5) (A->(B->(A*B)))
6) (A->(A+B))
7) (B->(A+B))
8) ((A->C)->((B->C)->((A+B)->C)))
Intuitionistic:
9) (F->A)
Classical:
10) (((A->F)->A)->A)
`

$3

`
|- (A->A)
`

$3

`
A, A->B
---------
B
``