Skip navigation
Skip navigation

Computational Natural Deduction

Keronen, Seppo R.


The formalization of the notion of a logically sound argument as a natural deduction proof offers the prospect of a computer program capable of constructing such arguments for conclusions of interest. We present a constructive definition for a new subclass of natural deduction proofs, called atomic normal form (ANF) proofs. A natural deduction proof is readily understood as an argument leading from a set of premisses, by way of simple principles of reasoning, to the conclusion of interest....[Show more]

CollectionsOpen Access Theses
Date published: 1991
Type: Thesis (PhD)
DOI: 10.25911/5d78dc1842b02


File Description SizeFormat Image
04Chapter4-7_keronen.pdf4.7 MBAdobe PDFThumbnail
03Chapte1-3_keronen.pdf3.51 MBAdobe PDFThumbnail
01Front_keronen.pdfFront Matter_FOR ACCESS TO THIS THESIS PLEASE GO TO kBAdobe PDFThumbnail
Keronen Thesis 2004.pdf8.93 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator