Reports on Mathematical Logic

No. 35

Piotr Wojtylak and Andrzej Wronski

On the problem of R. E. Tax

A b s t r a c t. We prove that the purely equivalential fragment of intuitionitic logic is not axiomatizable by a finite number of axiom schemata and the modus ponens rule for equivalence as the only rule of inference.

Back to Main Menu