Author:
Mccall Storrs,Vander Nat Arnold
Reference34 articles.
1. W. Ackermann, ’Begründung einer strengen Implikation9, The Journal of Symbolic Logic [JSL]
21 (1956) 113–128.
2. M. J. Alban, ’Independence of the Primitive Symbols of Lewis Calculi of Propositions’, JSL
8 (1943) 25–26.
3. A. R. Anderson, ’Decision Procedures for Lewis’s Calculus S3 and Three Extensions Thereof (abstract), JSL
19 (1954) 154.
4. A. R. Anderson and N. D. Belnap, Jr., ’The Pure Calculus of Entailment’, JSL
27 (1962) 19–52.
5. A. R. Anderson and N. D. Belnap, Jr., Entailment (forthcoming).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Contra-classical logics;Australasian Journal of Philosophy;2000-12
2. A Survey of Many-Valued Logic (1966–1974);Modern Uses of Multiple-Valued Logic;1977
3. Post completeness in modal logic;Journal of Symbolic Logic;1972-12