Resolution Proof Systems with Weak Transformation Rules

In the previous papers [7-101we 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.

• Type: Conference
• Year: 1990
• Where: ISSAC
• Authors: Zbigniew Stachniak
• Keywords: Formal Methodological Framework, ISSAC 1990, Mathematics, Resolution Proof Systems, So-called Resolution Logics