All splitting logics in the lattice next (KTB)

2009

Tomasz Kowalski, Yutaka Miyazaki

in: Towards mathematical philosophy, Berlin,