id: 02015404
dt: j
an: 02015404
au: Indrzejczak, Andrzej
ti: Resolution based natural deduction.
so: Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No.3, 159-170 (2002).
py: 2002
pu: University of Łódź, Department of Logic, Łódź
la: EN
cc: I.2.3 F.4.1
ut: hybrid formal system; natural deduction; resolution
ci: 
li: 
ab: Summary: The paper is an introductory presentation of a hybrid formal
    system that mixes some features of natural deduction systems and
    resolution. The resulting system, called RND (Resolution based ND),
    allows us to build derivations in a particularly simple and natural
    manner. Moreover, in RND one can simulate other methods of proof. It
    seems to make RND a particularly useful frame for comparison of
    efficiency of several proof-search strategies.
rv: