New Consecution Calculi for R→t-Reference-Cited by-同舟云学术

New Consecution Calculi for R→t

Published:2012-01-01 Issue:4 Volume:53 Page:
ISSN:0029-4527
Container-title:Notre Dame Journal of Formal Logic
language:
Short-container-title:Notre Dame J. Formal Logic

Author:

Bimbó Katalin,Dunn J. Michael

Publisher

Duke University Press

Subject

Logic

Reference39 articles.

1. [1] Ackermann, W., “Begründung einer strengen Implikation,” Journal of Symbolic Logic, vol. 21 (1956), pp. 113–28.

2. [2] Anderson, A. R., “Entailment shorn of modality” (abstract), Journal of Symbolic Logic, vol. 25 (1960), p. 388.

3. [3] Anderson, A. R., and N. D. Belnap, Entailment. The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, 1975.

4. [4] Anderson, A. R., N. D. Belnap, and J. M. Dunn, Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, 1992.

5. [5] Belnap, N. D., and J. R. Wallace, “A decision procedure for the system $E_{\overline{I}}$ of entailment with negation,” Technical Report 11, Contract No. SAR/609 (16), Office of Naval Research, New Haven, 1961.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. IN MEMORIAM: J. MICHAEL DUNN, 1941–2021;The Bulletin of Symbolic Logic;2021-12

2. A Cut-Elimination Proof in Positive Relevant Logic with Necessity;Studia Logica;2020-11-16

3. A note on the system GRW with the intensional contraction rule;Logic Journal of the IGPL;2020-03-18

4. Inhabitants of Intuitionistic Implicational Theorems;Logic, Language, Information, and Computation;2018

5. Larisa Maksimova’s Early Contributions to Relevance Logic;Larisa Maksimova on Implication, Interpolation, and Definability;2018