Reasoning without Believing: On the Mechanization of Presuppositions and Partiality (Manfred Kerber and Michael Kohlhase)
A Resolution Calculus for Presuppositions (Manfred Kerber and Michael Kohlhase)
A Tableau Calculus for Partial Functions (Manfred Kerber and Michael Kohlhase)
