Fundraising September 15, 2024 – October 1, 2024 About fundraising

Volume 17; Issue 5

Logic Journal of IGPL

Volume 17; Issue 5
1

From light logics to type assignments: a case study

Gaboardi, M., Rocca, S. R. D.
Journal:
Logic Journal of IGPL
Year:
2009
Language:
english
File:
PDF, 251 KB
english, 2009
2

Preface

Ayala-Rincon, M., Haeusler, E. H.
Journal:
Logic Journal of IGPL
Year:
2009
Language:
english
File:
PDF, 35 KB
english, 2009
3

Using modal logics to express and check global graph properties

Benevides, M. R. F., Schechter, L. M.
Journal:
Logic Journal of IGPL
Year:
2009
Language:
english
File:
PDF, 314 KB
english, 2009
4

On the convergence of reduction-based and model-based methods in proof theory

Dowek, G.
Journal:
Logic Journal of IGPL
Year:
2009
Language:
english
File:
PDF, 99 KB
english, 2009
5

Acknowledgements

Journal:
Logic Journal of IGPL
Year:
2009
File:
PDF, 23 KB
2009
6

Natural deduction for the finite least fixed point logic with an infinitary rule

Arruda, A. M., Martins, A. T.
Journal:
Logic Journal of IGPL
Year:
2009
Language:
english
File:
PDF, 268 KB
english, 2009