DOI10.1007/978-3-642-02261-6_29zbMath1246.03052MaRDI QIDQ3638296
Katsuhiko Sano
Publication date: 2 July 2009 Published in: Logic, Language, Information and Computation (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_29
Mathematics Subject Classification ID
03B60: Other nonclassical logic
03F05: Cut-elimination and normal-form theorems