An alternative approach to the calculation of fundamental groups based on labeled natural deduction

Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz +1

In this work, we use a labelled deduction system based on the concept of computational paths (sequence of rewrites) as equalities between two terms of the same type. We also define…