Bulletin of the Section of Logic > 2022 > 51 > 1 > 27-56
Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.2021.16 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
A. R. Anderson, N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. I, Princeton University Press (1975).
-
A. R. Anderson, N. D. Belnap, J. M. Dunn, Entailment: The Logic of Relevance and Necessity, vol. II, Princeton University Press (1992).
-
R. T. Brady, Completeness proofs for the systems RM3 and BN4, Logique et Analyse, vol. 25 (1982), pp. 9–32.