LaTeX source file of the paper
"Syntactical Investigations into BI Logic and
BB'I Logic(by Yuichi KOMORI, Studia Logica 53 (1994) 397-416)".
You need a style file "proof.sty"(written by
Makoto TATSUTA) to compile this source file.
Gosiki-Numa: I have taken a photpgraph (51kbyte) at Gosiki-Numa
in Ura-Bandai, August 29, 1995.
The males in this picture are in their fourth year of Shizuoka University.
The women in it are in their fourth year of Tokyo
Women's Christian University.