On the existence of finite models and decision procedures for propositional calculi

Publisher Website

1 January 1958

journal article
Published by Cambridge University Press (CUP) in Mathematical Proceedings of the Cambridge Philosophical Society

Vol. 54 (1), 1-13
https://doi.org/10.1017/s0305004100033120

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
The Journal of Symbolic Logic, 1941

Cited by 64 articles