Rules and Refutation Rules for the Logic of Finite n-ary Trees

Tomasz F. Skura. Rules and Refutation Rules for the Logic of Finite n-ary Trees. Journal of Logic and Computation, 14(3):429-435, 2004. [doi]

Abstract

Abstract is missing.