Skip to main content
Article thumbnail
Location of Repository

Reduction of Logic to Arithmetic

By Ranganath G Kulkarni and Address R G Kulkarni


Abstract: It is possible to make decisions mathematically of first order predicate calculus. A new mathematical formula is found for the solution of decision problem. We can reduce a logical algorithm into simple algorithm without logical trees. I For n number of inputs, is there any mathematical formula that answers yes or no?[1][2][3] Now it is possible, a mathematical formula[4] is found that can be used to reduce the logical algorithm into simple algorithm without logical trees. This converts logical operation to arithmetic operation. It is a solution for decision problem of first order predicate calculus or first order logic. Therefore in a compute

Year: 2013
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.