| Paper
Technical Report IPM / M / TR /017 |
School of Mathematics
|
| Title: |
Gentzen-style axiomatizations for extensions of basic propostional logic
|
|
Author(s): |
| 1 . |
M. Aghaei
| | 2 . |
M. Ardeshir
|
|
| No: |
IPM-1999-323
|
| Year: |
1999
|
| Supported by: |
IPM
|
|
| Abstract: |
|
|
|
back to top
|
