Some Forms of Models of Propositional Calculi
- 1 January 1968
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Some structure results for propositional calculiThe Journal of Symbolic Logic, 1965
- The independence of connectivesThe Journal of Symbolic Logic, 1962
- Remarks on sentential logicsIndagationes Mathematicae, 1958
- On the existence of finite models and decision procedures for propositional calculiMathematical Proceedings of the Cambridge Philosophical Society, 1958