Partial inductive definitions

This publication has 11 references indexed in Scilit:

• Remarks on some approaches to the concept of logical consequence
  Synthese, 1985
• A natural extension of natural deduction
  The Journal of Symbolic Logic, 1984
• Constructive mathematics and computer programming
  Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984
• An Introduction to Inductive Definitions
  Published by Elsevier ,1977
• Outline of a Theory of Truth
  The Journal of Philosophy, 1975
• Dag Prawitz. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 235–307.
  The Journal of Symbolic Logic, 1975
• On the idea of a general proof theory
  Synthese, 1974
• Towards A Foundation of A General Proof Theory
  Published by Elsevier ,1973
• Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
  Published by Elsevier ,1971
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967