Reports on Mathematical Logic > 2002 > No. 36 > 117-130
Source
Identifiers
journal ISSN : | 0137-2904 |
journal e-ISSN : | 2084-2589 |
Authors
Additional information
Publisher
Fields of science
Bibliography
-
[1] A.R. Anderson and N.D. Belnap, Entailment I. Princeton, 1975.
-
[2] M. Dunn, Generalized ortho-negation, in H. Wansing (ed.) Negation. A notion in Focus. Berlin, 1996, 3–26.
-
[3] I. Johansson, Der Minimalkalk¨ul, ein reduzierter intuitionistischer Formalismus, Compositio Mathematica 5 (1936), 119-136.