Reports on Mathematical Logic

No. 50 (2015)


Norihiro Kamide, Interpolation theorems for some variants of LTL; (full text - pdf), pp. 3 - 30.

Hernando Gait\'an, Endomorphisms and subalgebras of Tarski algebras; (full text - pdf), pp. 31 - 39.

Hitoshi Omori, An axiomatization of Wansing's expansion of Nelson's logic; (full text - pdf), pp. 41 - 51.

Boris \v Sobot, Divisibility in the Stone-\v Cech compactification; (full text - pdf), pp. 53 - 66.

Ahmet Hamal, Mehmet Terziler, Peritopological Spaces and Bisimulations; (full text - pdf), pp. 67 - 81.

Tommaso Moraschini, On everywhere strongly logifiable algebras; (full text - pdf), pp. 83 - 107.

Back to Main Menu