Refutation systems in modal logic |
| |
Authors: | Valentin Goranko |
| |
Institution: | (1) Department of Mathematics, University of the North, Qwaqwa Branch, Private Bag X13, 9866 Phuthaditjhaba, Republic of South Africa |
| |
Abstract: | Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.Presented byJan Zygmunt |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|