Resolution proof systems with weak transformation rules
Zbigniew Stachniak · 1990
In the previous papers [7-10] we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced and studied. In the present paper we extend this approach to a wider class of the so-called resolution logics.