You are not currently logged in.
Access JSTOR through your library or other institution:
Cut Elimination for S4C: A Case Study
Studia Logica: An International Journal for Symbolic Logic
Vol. 82, No. 1, Cut-Elimination in Classical and Nonclassical Logic (Feb., 2006), pp. 121-132
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016770
Page Count: 12
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 2006 Springer