A Sequent Calculus for Intuitionistic Default Logic

Uwe Egly, Hans Tompits. A Sequent Calculus for Intuitionistic Default Logic. In WLP. 1997.

Abstract

Abstract is missing.