Proof-Theoretic Foundation of Hypothetical Reasoning

Pablo López, Ernesto Pimentel. Proof-Theoretic Foundation of Hypothetical Reasoning. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 268-282, 2000.

Abstract

Abstract is missing.