|
|||||
|
|
Two types of multiple-conclusion systems |
|
| Authors: | Avron A |
| Affiliation: | School of Mathematical Sciences, Sackler Faculty of Exact Sciences, Tel Aviv University, 69978 Ramat Aviv, Israel e-mail: aa@math.tau.ac.il |
| Abstract: | |
| Keywords: | Hypersequents Consequence relations Substructurallogics Relevance logics |
| 本文献已被 Oxford 等数据库收录！ | |