Skip navigation
Skip navigation

Computational Natural Deduction

Keronen, Seppo R.

Description

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: 2012-08-30
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/9243

Download

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 http://anulib.anu.edu.au/about/collections/theses_externalaccess.html751.84 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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator