|
|||||
|
|
Multi-valued Calculi for Logics Based on Non-determinism |
|
| Authors: | Avron, Arnon Konikowska, Beata |
| Affiliation: | 1 School of Computer Science, Tel-Aviv University, Israel. E-mail: aa{at}tau.ac.il, 2 Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland. E-mail: beatak{at}ipipan.waw.pl |
| Abstract: | |
| Keywords: | nondeterministic matrices deduction systems tableaux systems R-S systems n-sequents |
| 本文献已被 Oxford 等数据库收录！ | |