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.
We have two cats Kuro and Chaa since September 1996.
Kuro is female. Chaa is a brother of Kuro. Kuro and Chaa (35Kbyte),
Kuro and Chaa 2 (49Kbyte),
Chaa (45Kbyte)