Japanese logicians