A Decision Procedure For the System EĪ of Entailment with Negation
- 1 January 1965
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 11 (4) , 277-289
- https://doi.org/10.1002/malq.19650110403
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935