Author:
Anderson Alan Ross,Belnap Nuel D.
Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Ackermann, Wilhelm. “Begründung einer strengen Implikation”Journal of Symbolic Logic, 21:113–28 (1956).
2. Anderson, Alan Ross.Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification. Technical Report No. 6, Office of Naval Research, Group Psychology Branch, Contract SAR/Nonr-609(16), New Haven.(Reprinted inZeitschrift für mathematische Logik, 6:201–16 (1959).)
3. Anderson, Alan Ross, and Nuel D. Belnap, Jr. “A Modification of Ackermann's ‘Rigorous Implication’” (abstract),Journal of Symbolic Logic, 23:457–58 (1958).
4. —. “Modalities in Ackermann's ‘Rigorous Implication’”Journal of Symbolic Logic, 24:107–11 (1959).
5. -. “The Pure Calculus of Entailment,”Journal of Symbolic Logic, forthcoming.
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献