Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference...

This paper presents a partial deduction method for disjunctive logic programs. We rst show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the...

Guidance systems are central to the success of automated deduction systems. Semantic guidance systems are guidance systems that exploit semantic information when guiding the search of a deduction system. The general objective of this research has been to investigate how semantic guidance can be used to improve the performance of automated deduction systems. More specifically, this research has ...

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognit ive faculties. It is identified with Kant’s account of a threefol...

In this paper we make some observations about Natural Deduction derivations [Prawitz, 1965, van Dalen, 1986, Bell and Machover, 1977]. We assume the reader is familiar with it and with proof-theory in general. Our development will be simple, even simple-minded, and concrete. However, it will also be evident that general ideas motivate our examples, and we think both our specific examples and th...

Interpretation vs. Program Specialization At first sight abstract interpretation and program specialization might appear to be unrelated techniques: abstract interpretation focusses on correct and precise analysis, while the main goal of program specialization is to produce more efficient specialized code (for a given task at hand). Nonetheless, it is often felt that there is a close relationsh...