Bibliography
B. R. Boričić, ‘A cut-free Gentzen-type system for the logic of the weak law of excluded middle’, to appear inStudia Logica.
W. Craig, ‘Linear reasoning. A new form of the Herbrand—Gentzen theorem’,Journal of Symbolic Logic 22 (1957), 250–268.
H. B. Curry,Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.
T. Hosoi, ‘The separation theorem on the classical system’,Journal of the Faculty of Science, University of Tokyo 12 (1966), 223–230.
T. Hosoi, ‘Algebraic proof of the separation theorem on classical propositional calculus’,Proceedings of the Japan Academy 42 (1966), 67–69.
G. Kreisel, ‘A survey of proof theory II’,Proceedings of the Second Scandinavian Logic Symposium (J. E. Fenstad, ed.), North-Holland, Amsterdam, 1971, pp. 109–170.
G. Kreisel, ‘On the kind of data needed for a theory of proofs’,Logic Colloquium 76 (J. Bawse et al., eds.), North-Holland, Amsterdam, 1977, pp. 111–128.
F. von Kutschera, ‘Zum Deduktionsbergriff der klassischen Prädikatenlogik erster Stufe’,Logik und Logikkalkül, H. v. Max Käsbauer and F. v. Kutschera (eds.), 1962, pp. 211–236.
R. C. Lyndon, ‘An interpolation theorem in the predicate calculus’,Pacific Journal of Mathematics 9 (1959), 129–142.
G. Pottinger, ‘Normalization as a homomorphic image of cut-elimination’,Annals of Mathematical Logic 12 (1977), 323–357.
D. Prawitz,Natural Deduction, Almqvist and Wiksell, Stockholm, 1965.
D. Prawitz, ‘Ideas and results in proof theory’,Proceedings of the Second Scandinavian Logic Symposium (J. E. Fenstad, ed.), North-Holland, Amsterdam, 1971, pp. 235–307.
D. Prawitz, ‘Philosophical aspects of proof theory’,Contemporary Philosophy. A New Survey 1 (1981), 235–277.
P. Schroeder-Heister,Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen, Dissertation, Bonn, 1981.
K. Segerberg, ‘Arbitrary truth-value functions and natural deduction’,Zeitschrift für mathematische Logik und Grundlagen der Mathematik 29 (1983), 557–564.
D. J. Shoesmith and T. J. Smiley,Multiple-Conclusion Logic, Cambridge University Press, Cambridge, 1978.
R. Statman,Structural Complexity of Proofs, Dissertation, Stanford, 1974.
M. E. Szabo (ed.),The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969.
J. Zucker, ‘The correspondence between cut-elimination and normalization’,Annals of Mathematical Logic 7 (1974), 1–112.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boričić, B.R. On sequence-conclusion natural deduction systems. J Philos Logic 14, 359–377 (1985). https://doi.org/10.1007/BF00649481
Issue Date:
DOI: https://doi.org/10.1007/BF00649481