Theorem proving using computational systems : The case of the

Abstract

The framework of computational systems has been already used for describing several computational logics. In this paper is described the way a propositional prover and a predicate prover are implemented in ELAN, the system developed in Nancy for describing and executing computational systems. The inference rules for the provers are described by conditional… (More)

Topics

Cite this paper

@inproceedings{Cirstea1997TheoremPU, title={Theorem proving using computational systems : The case of the}, author={Horatiu Cirstea and Claude Kirchner}, year={1997} }