Sendai Logic - 仙台ロジック Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan