##
Reports on Mathematical Logic

###
No. 29 (1995)

Tomasz SKURA

SOME ASPECTS OF REFUTATION RULES
A b s t r a c t.
The purpose of the paper is to make a few
remarks on the following aspects of refutation rules: a
characteristic property of a logic, elegant and constructive
completeness proofs. In particular a new constructive
completeness proof for the provability logic **G** is given.

Back to Main Menu