Volume 24; Issue 3

Logic Journal of IGPL

Volume 24; Issue 3
2

Grafting hypersequents onto nested sequents

Kuznets, Roman, Lellmann, Björn
Journal:
Logic Journal of IGPL
Year:
2016
Language:
english
File:
PDF, 988 KB
english, 2016
4

On the parallel computation thesis

Dershowitz, Nachum, Falkovich-Derzhavetz, Evgenia
Journal:
Logic Journal of IGPL
Year:
2016
Language:
english
File:
PDF, 664 KB
english, 2016
5

Skolemization in intermediate logics with the finite model property

Baaz, Matthias, Iemhoff, Rosalie
Journal:
Logic Journal of IGPL
Year:
2016
Language:
english
File:
PDF, 184 KB
english, 2016
6

Preface

Arieli, Ofer, Zamansky, Anna
Journal:
Logic Journal of IGPL
Year:
2016
Language:
english
File:
PDF, 38 KB
english, 2016
8

Weak arithmetical interpretations for the Logic of Proofs

Kuznets, Roman, Studer, Thomas
Journal:
Logic Journal of IGPL
Year:
2016
Language:
english
File:
PDF, 222 KB
english, 2016