|
|||||
|
|
Tabular Logics with no Finite Bases for Inference Rules |
|
| Authors: | Rybakov V. |
| Affiliation: | Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester, M1 5GD, U.K. V.Rybakov{at}mmu.ac.uk |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |