Differentiating assumptions from extra-logical axioms in natural deduction

  • Mario R. F. Benevides
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 713)


In this work, we provide a presentation of classical and intuitionistic logics in a natural deduction style, making a clear distinction between extra-logical axioms and assumptions. Some important theorems about these presentations were proved — cut-elimination, consistency and completeness. Moreover, it was proved that the consequence relations defined for these logics have some interesting properties: reflexivity, monotonicity and transitivity.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benevides, M.: A Proof Theoretical Methodology for Multiple-World Reasoning. Department of Computing, Imperial College, U.K. (1991)Google Scholar
  2. 2.
    Benevides, M.: Axioms and Assumptions. In Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science. Uppsala (1991)Google Scholar
  3. 3.
    Benevides, M.: Avoiding the Frame-Problem. VIII Brazilian Simposium on Artificial Intelligence. Brasilia, Brazil (1991)Google Scholar
  4. 4.
    Dummett, M.: Elements of Intuitionism. Oxford Logic Guides. Clarendon Press. Oxford (1977)Google Scholar
  5. 5.
    Enderton, H. B.: A Mathematical Introduction to Logic. Academic Press. New York (1972)Google Scholar
  6. 6.
    Gentzen, G.: Investigations into Logical Deduction. In: M. E. Szabo M. E. (ed.): The Collected Papers of Gerhard Gentzen. North Holland, pp. 68–131 (1935)Google Scholar
  7. 7.
    Martin-Lof, P.: Intuitionistic Type Theory. In: Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980. Bibliopolis. Naples (1984)Google Scholar
  8. 8.
    Sundholm, G.: Proof Theory and Meaning. In: Gabbay, D. and Guenthner, F. (eds.): Handbook of Philosophical Logic, vol.3. D. Reidel Publishing Company. Dordrecht (1984)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Mario R. F. Benevides
    • 1
  1. 1.COPPE/Sistemas - UFRJRio de JaneiroBrazil

Personalised recommendations