Theorem Proving Based on Semantics of DNA Strand Graph
Abstract
Because of several technological limitations of traditional silicon based computing, for past few years a paradigm shift, from silicon to carbon, is occurring in computational world. DNA computing has been considered to be quite promising in solving computational and reasoning problems by using DNA strands. Resolution, an important aspect of automated theorem proving and mathematical logic, is a rule of inference which leads to proof by contradiction technique for sentences in propositional logic and firstorder logic. This can also be called refutation theoremproving. In this paper we have shown how the theorem proving with resolution refutation by DNA computation can be represented by the semantics of process calculus and strand graph.
 Publication:

arXiv eprints
 Pub Date:
 February 2017
 arXiv:
 arXiv:1702.05383
 Bibcode:
 2017arXiv170205383R
 Keywords:

 Computer Science  Artificial Intelligence
 EPrint:
 25 pages,12 figures