Abstract
1. Introduction. In this paper we consider certain general properties of propositional calculi. Two forms of the definition of a finite model of such a calculus are discussed, these forms differing in the manner prescribed for the satisfaction of the rules of the calculus. The methods of definition are shown to be equivalent for the application of the finite model method for the demonstration of the unprovability of formulae in the calculus. It is further proved that, although the decidability of a calculus follows from the existence of a finite model counter-example for each unprovable formula of the calculus, the converse result is not true.
Publisher
Cambridge University Press (CUP)
Reference4 articles.
1. Recursive unsolvability of the deducibility Tarski's completeness and independence of axioms problems of propositional calculus;Linial;Bull. Amer. Math. Soc.,1949
2. A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献