Roy Dyckhoff (dyckhoff)

Contributions à Philosophie.ch

Bibliography

Dyckhoff, Roy. 1992. “Contraction-Free Sequent Calculi for Intuitionistic Logic.” The Journal of Symbolic Logic 57(3): 795–807.
Dyckhoff, Roy, ed. 1994a. ELP’93. Proceedings of the 4th International Workshop Extensions of Logic Programming: Berlin: Springer.
Dyckhoff, Roy, ed. 1994b. Extensions of Logic Programming: 4th International Workshop, St Andrews, March 29-April 1, 1993. Lecture Notes in Computer Science. Berlin: Springer.
Dyckhoff, Roy. 2001. “Review of Troelstra and Schwichtenberg (2000).” The Bulletin of Symbolic Logic 7(2): 280.
Dyckhoff, Roy, Herre, Heinrich and Schröder-Heister, Peter, eds. 1996. Extensions of Logic Programming: 5th International Workshop, Leipzig, Germany, March 28-30, 1996. Lecture Notes in Computer Science n. 1050. Berlin: Springer.
Dyckhoff, Roy and Weinsing, Heinrich. 2001. “Editorial.” Studia Logica: An International Journal for Symbolic Logic 69(1): 3–4.

Further References

Troelstra, Anne Sjerp and Schwichtenberg, Helmut. 2000. Basic Proof Theory. 2nd ed. Cambridge: Cambridge University Press.