Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.45.2.03 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] A. R. Anderson, N. D. Belnap, Entailment. The Logic of Relevance and Necessity, vol. I, Princeton University Press (1975).
-
[2] R. T. Brady, Completeness Proofs for the Systems RM3 and BN4, Logique et Analyse 25 (1982), pp. 9–32.
-
[3] C. González, MaTest. Available at: http://ceguel.es/matest (2012). Last accessed: 23/03/2016.