A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.

Published in: Math. Log. Q. (1994)

Keyphrases