Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules
| Author(s) : | Masahiko Sato, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | Nakano [4, 5] introduced two logical systems with the inference rules that are intended to give logical interpretation for the catch and throw mechanism used in functional languages such as Lisp. In this paper, we introduce two, |