Luiz Carlos Pereira (pereira-lc)

Menzionato/a in queste pagine del portale

Contributi a Philosophie.ch

Bibliography

Hauesler, Edward Hermann and Pereira, Luiz Carlos. 1996. “Gentzen’s Second Consistency Proof and Strong Cut-Elimination.” Logique et Analyse 39(153–154): 95–111.
Pereira, Luiz Carlos, Hausler, Edward Hermann and Paiva, Valeria de, eds. 2004. Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work. Trends in Logic n. 39–54. Dordrecht: Springer.
Pereira, Luiz Carlos and Wrigley, Michael, eds. 2000. Festschrift in Honor of Oswaldo Chateubriand. ? Manuscrito.
Veloso, Paulo A. S., Pereira, Luiz Carlos and Hausler, Edward Hermann. 2012. “On What There Must Be: Existence in Logic and Some Related Riddles.” Disputatio 4(34): 879–910.