(1) Institute of Mathematics, University of Bia lystok, Akademicka 2, 15-275 Bialystok, Poland;(2) Institute of Mathematics, Silesian University, Bankowa 14, 40-007 Katowice, Poland
Abstract:
An operation on inferential rules, called H-operation, is used to minimize the axiom basis for classical logic.
