Reports on Mathematical Logic

No. 53 (2018)


Patrizio Cintioli, Sets with no subsets of higher weak truth-table degree; (full text - pdf), pp. 3 - 17.

Lukasz Lachowski, On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic; (full text - pdf), pp. 19 - 42.

Mitio Takano, A semantical analysis of cut-free calculi for modal logics; (full text - pdf), pp. 43 - 65.

Juan Carlos Martinez, On PCF spaces which are not Frechet-Urysohn; (full text - pdf), pp. 67 - 77.

Peter Schuster and Daniel Wessel, A General Extension Theorem for Directed-Complete Partial Orders; (full text - pdf), pp. 79 - 96.

Yoshihito Tanaka, A cut-free proof system for a predicate extension of the logic of provability; (full text - pdf), pp. 97 - 109.

Vincenzo Dimonte, The *-Prikry condition; (full text - pdf), pp. 111 - 142.

Back to Main Menu