Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.45.1.03 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] K. Došen, A Historical Introduction to Substructural Logics, Substructural Logics, (eds. P. Schroeder-Heister and K. Došen), pp. 1–30, Oxford Science Publication, (1993).
-
[2] N. Francez, Relevant harmony, Journal of Logic and Computation, Volume 26, Number 1 (2016), pp. 235–245.
-
[3] G. Gentzen, Investigations into logical deduction, The Collected Papers of Gerhard Gentzen, Szabo, M. E. (ed.) North–Holland, pp. 68–131, (1969).