Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic

Articles > Article · 2000

Authors: V. V. Rybakov, M. Terziler, V. V. Rimatskii

Algebra and Logic, International, Scopus, 2000, vol 39, pp 412-422

DOI: 10.1023/a:1010226820231