(Translated by https://www.hiragana.jp/)
[1401.1156] Algebraisable versions of predicate topological logic