On decision procedures for sentential logics |
| |
Authors: | Tomasz Skura |
| |
Affiliation: | (1) Department of Logic, Wrocaw University, Szewska 36, 50-139 Wrocaw, Poland |
| |
Abstract: | In Section 2 I give a criterion of decidability that can be applied to logics (i.e. Tarski consequence operators) without the finite model property. In Section 3 I study ukasiewicz-style refutation procedures as a method of obtaining decidability results.This method also proves to be more general than Harrop's criterion. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|