<http://schema.org/description>
"Contents. /  (0003.jp2)\nIntroduction. / p1 (0004.jp2)\nChapter1. Basic definitions and results. / p9 (0012.jp2)\nChapter2. Some cut-free systems for normal extensions of S4. / p19 (0022.jp2)\nChapter3. Some applications of cut-elimination. / p42 (0045.jp2)\nChapter4. Cut-free systems for some intermediate predicate logic containing the axiom schema[\u6570\u5F0F]. / p54 (0057.jp2)\nAppendix.A syntactical proof of the cut-elimination for Nishimura's system for K4.3W. / p61 (0064.jp2)\nReferences. / p68 (0071.jp2)\n\u535A\u58EB\u8AD6\u6587\n"^^<http://www.w3.org/2001/XMLSchema#string>
<http://ci.nii.ac.jp/naid/500000081607>