ENTCS
2010
13 years 11 months ago
2010
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 ...