A simple algorithm for deduction

Whiten, Bill (2009) A simple algorithm for deduction. ANZIAM Journal, 51 1: 102-122. doi:10.1017/S1446181109000352

Author Whiten, Bill
Title A simple algorithm for deduction
Journal name ANZIAM Journal   Check publisher's open access policy
ISSN 1446-1811
Publication date 2009-07
Sub-type Article (original research)
DOI 10.1017/S1446181109000352
Open Access Status DOI
Volume 51
Issue 1
Start page 102
End page 122
Total pages 21
Place of publication United Kingdom
Publisher Cambridge University Press
Language eng
Formatted abstract
It is shown that a simple deduction engine can be developed for a propositional logic that follows the normal rules of classical logic in symbolic form, but the description of what is known about a proposition uses two numeric state variables that conveniently describe unknown and inconsistent, as well as true and false. Partly true and partly false can be included in deductions. The multi-valued logic is easily understood as the state variables relate directly to true and false. The deduction engine provides a convenient standard method for handling multiple or complicated logical relations. It is particularly convenient when the deduction can start with different propositions being given initial values of true or false. It extends Horn clause based deduction for propositional logic to arbitrary clauses. The logic system used has potential applications in many areas. A comparison with propositional logic makes the paper self-contained.
Keyword Deduction
Classical propositional logic
Two-variable logic
Simple algorithm
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ

Document type: Journal Article
Sub-type: Article (original research)
Collection: Julius Kruttschnitt Mineral Research Centre Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Sun, 23 May 2010, 00:07:04 EST