Documents Related by Co-Citation

273 Investigations into logical deduction – Gerhard Gentzen - 1969
449 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
172 A new constructive logic: classical logic – J-Y Girard - 1991
344 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
636 The Case for Case – C Fillmore - 1968
659 A Theory of truth and semantic representation – H Kamp - 1981