|
|||||
|
|
Cut Elimination for S4C: A Case Study |
|
| Authors: | Grigori Mints |
| Affiliation: | (1) Department of Philosophy, Stanford University, Stanford, CA 94305, USA |
| Abstract: | S4C is a logic of continuous transformations of a topological space. Cut elimination for it requires new kind of rules and new kinds of reductions |
| Keywords: | Dynamic topological logic cut elimination |
| 本文献已被 SpringerLink 等数据库收录！ | |