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 |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/s11225-006-6608-1 | Studia Logica |
Keywords | Field | DocType |
Dynamic topological logic,cut elimination | Discrete mathematics,Topological space,Mathematics | Journal |
Volume | Issue | Citations |
82 | 1 | 2 |
PageRank | References | Authors |
0.39 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |