Borkar, Vivek S. ; Chandru, Vijay ; Mitter, Sanjoy K.
(2002)
*Mathematical programming embeddings of logic*
Journal of Automated Reasoning, 29
(1).
pp. 91-106.
ISSN 0168-7433

Full text not available from this repository.

Official URL: http://www.springerlink.com/content/h1qt8p04631163...

Related URL: http://dx.doi.org/10.1023/A:1020521718123

## Abstract

Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative, and this approach has yielded rich dividends from the dual perspective of better understanding of the mathematical structure of deduction and in improving the efficiency of algorithms for deductive reasoning. Most of these results have been for the case of propositional and probabilistic logics. In the case of predicate logic, there have been successes in adapting mathematical programming schemes to realize new algorithms for theorem proving using partial instantiation techniques. A structural understanding of mathematical programming embeddings of predicate logic would require tools from topology because of the need to deal with infinite-dimensional embeddings. This paper describes the first steps in this direction. General compactness theorems are proved for the embeddings, and some specialized results are obtained in the case of Horn logic.

Item Type: | Article |
---|---|

Source: | Copyright of this article belongs to Springer-Verlag. |

ID Code: | 5369 |

Deposited On: | 18 Oct 2010 09:01 |

Last Modified: | 20 May 2011 09:02 |

Repository Staff Only: item control page