Simulation and Synthesis of Deduction Calculi

Schmidt, R. A. (2010)

Electronic Notes in Theoretical Computer Science 262, 221-229. Invited paper. BiBTeX, PDF, DOI Link.

This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based on simulating deduction approaches with techniques of automated reasoning and first-order resolution. The second approach synthesises sound, complete and terminating tableau calculi directly from the semantic specification of a logic.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 22 Apr 11
Copyright © 2010 Renate A. Schmidt, School of Computer Science, Man Univ,